Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Scalable Techniques for Formal Verification

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Scalable Techniques for Formal Verification Sandip Ray
Libristo kód: 01423877
Nakladateľstvo Springer-Verlag New York Inc., máj 2010
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Celý popis
? points 265 b
109.54 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Kniha Brožovaná
common.buy 49.45 €
Cognitieve ontwikkeling van studenten RONALD SUMAYA Decano / Kniha Brožovaná
common.buy 53.50 €
Komplexes Problemloesen Ulrike Kipman / Kniha Brožovaná
common.buy 37.89 €
Mustafa Al -Nahhas Abbas Hafez / E-kniha Adobe ePub DRM
common.buy 13.16 €
Bosco. Una vida en tu mirada ANCA / Kniha Kniha
common.buy 21.78 €
MEUSE FLEUVE NORD : POEME & PHOTOGRAPHIES : PREMIERE MATIERE DELAIVE SERGE Kniha binding.
common.buy 22.59 €
Spielplan Simon Golthauer / Kniha Pevná
common.buy 22.39 €
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Kniha Brožovaná
common.buy 61.61 €
Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Kniha Brožovaná
common.buy 41.85 €
Soehne des Herrn Budiwoj August Sperl / Kniha Brožovaná
common.buy 24.21 €
EinFach Deutsch Textausgaben Georg Büchner / Kniha Brožovaná
common.buy 7.29 €
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Kniha Brožovaná
common.buy 14.48 €
Theorien Des Magnetismus Joseph Würschmidt / Kniha Brožovaná
common.buy 53.20 €
František Pubička S.I. (1722-1807) Jakub Zouhar / Kniha List
common.buy 15.60 €
Das Bürgerliche Gesetzbuch aus Sicht des Common Law. Marcus Dittmann / Kniha Brožovaná
common.buy 158.70 €
Gedanken einer K nigin - Les pens es d'une reine. Gesammelte Aphorismen in deutscher und franz sischer Sprache und Epigramme der K nigin Elisabeth von Carmen Sylva / Kniha Brožovaná
common.buy 57.15 €
Allgemeine Untersuchungsmethoden R Strohecker / Kniha Brožovaná
common.buy 53.20 €
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Kniha Brožovaná
common.buy 32.12 €
L'altra cara de la veritat Leon / Kniha Brožovaná
common.buy 23.30 €
Oficiales de Mantenimiento, Ayuntamiento de Zaragoza. Temario de materias específicas José Manuel González Rabanal / Kniha Brožovaná
common.buy 55.22 €
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Hra/Hračka Hra
common.buy 11.04 €
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Kniha Brožovaná
common.buy 27.45 €
Xirinacs. El profetisme radical i noviolent LLUIS BUSQUETS I GRABULOSA / Kniha Brožovaná
common.buy 28.06 €
Fahnenweihe Josef Ruederer / Kniha Brožovaná
common.buy 6.58 €

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Scalable Techniques for Formal Verification
Autor Sandip Ray
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2010
Počet strán 243
EAN 9781441959973
ISBN 1441959971
Libristo kód 01423877
Nakladateľstvo Springer-Verlag New York Inc.
Váha 1200
Rozmery 155 x 235 x 25

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Elektronika: obvody a komponenty
Technológie, strojárstvo, poľnohospodárstvo > Technológie: všeobecné témy > Strojárstvo: všeobecne
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačom podporovaný dizajn (CAD)
Výpočtové a informačné technológie > Informačné technológie: všeobecné témy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG / Kniha Brožovaná
common.buy 70.02 €
V2 Robert Harris / Kniha Brožovaná
common.buy 11.54 €
Psychological Testing in the Service of Disability Determination Board on the Health of Select Populations / Kniha Brožovaná
common.buy 68.20 €
Complete Ukulele Player (Book/Audio Download) Hal Leonard Publishing Corporation / Kniha Brožovaná
common.buy 16.10 €
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Kniha Brožovaná
common.buy 27.15 €
Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets Hubbard Cobb / Kniha Brožovaná
common.buy 12.15 €
In Foreign Lands: The Migration of Scientists for Political or Economic Reasons Maria Teresa Borgato / E-kniha Adobe ePub DRM
common.buy 201.47 €
Tolstoy and his Disciples Alston Charlotte Alston / E-kniha Adobe ePub DRM
common.buy 43.16 €
Fractured Minds Jenni A. Ogden / E-kniha Adobe ePub DRM
common.buy 53.10 €
Top
Heart of Darkness Joseph Conrad / Kniha Brožovaná
common.buy 3.74 €
Practical Wellbore Hydraulics and Hole Cleaning Mark S. Ramsey / E-kniha Adobe ePub DRM
common.buy 187.38 €
Top
Legends & Lattes BALDREE TRAVIS / Kniha Brožovaná
common.buy 13.06 €
Pripravujeme
It's a Good World Because You're in It ALLAN KATE / Kniha Pevná
common.buy 21.48 €
The Superman Years: the Emotional Life of a Parent Caring for a Child with Type 1 Diabetes Linda Rupnow Buzogany MS Lpc / Kniha Brožovaná
common.buy 14.08 €
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Kniha Kniha
common.buy 77.11 €
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Kniha Brožovaná
common.buy 6.37 €
Lost Boys James Garbarino / Kniha Brožovaná
common.buy 17.02 €
Future Religious Policy of America William R. Halstead / Kniha Brožovaná
common.buy 19.75 €
Large Print CODE WORD Book 4 Jaja Books / Kniha Brožovaná
common.buy 8.40 €
Natural History of the West Indies Sterling A. Stoudemire / Kniha Brožovaná
common.buy 31.31 €
Sleeping Beauty Jennifer Adams / Kniha Leporelo
common.buy 9.72 €
Malay Folk Songs Collection: Early to Mid-Intermediate Level Charmaine Siagian / Kniha Brožovaná
common.buy 11.04 €
What You See Cherise Sinclair / Kniha Brožovaná
common.buy 16.00 €
Renaissance Masterpieces of Art Julia Biggs / Kniha Pevná
common.buy 18.64 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet