Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Scalable Techniques for Formal Verification

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Scalable Techniques for Formal Verification Sandip Ray
Libristo kód: 01423877
Nakladatelství Springer-Verlag New York Inc., květen 2010
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Celý popis
? points 265 b
2 646 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Kniha Brožovaná
common.buy 1 202 Kč
Komplexes Problemloesen Ulrike Kipman / Kniha Brožovaná
common.buy 865 Kč
Spielplan Simon Golthauer / Kniha Pevná
common.buy 511 Kč
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Kniha Brožovaná
common.buy 1 497 Kč
Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Kniha Brožovaná
common.buy 1 011 Kč
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Kniha Brožovaná
common.buy 663 Kč
Stírací mapa Evropy – zlatá Deluxe XL / Tiskovina Mapa
common.buy 509 Kč
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Kniha Brožovaná
common.buy 368 Kč
petit cirque du salut. PIERRE HENRI DUBOIS / Kniha Brožovaná
common.buy 290 Kč
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Kniha Brožovaná
common.buy 402 Kč
WK 133 Graz u. Umgebung 1:50 000 / Tiskovina Mapa
common.buy 295 Kč
Fahnenweihe Josef Ruederer / Kniha Brožovaná
common.buy 151 Kč
Soehne des Herrn Budiwoj August Sperl / Kniha Brožovaná
common.buy 550 Kč
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Hra/Hračka Hra
common.buy 269 Kč
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Kniha Brožovaná
common.buy 732 Kč
Allgemeine Untersuchungsmethoden R Strohecker / Kniha Brožovaná
common.buy 1 214 Kč
František Pubička S.I. (1722-1807) Jakub Zouhar / Kniha List
common.buy 377 Kč
Theorien Des Magnetismus Joseph Würschmidt / Kniha Brožovaná
common.buy 1 214 Kč
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Kniha Brožovaná
common.buy 328 Kč
Shitstorm or Nonsens Peter H. Kemp / Kniha Brožovaná
common.buy 243 Kč
EinFach Deutsch Textausgaben Georg Büchner / Kniha Brožovaná
common.buy 168 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Scalable Techniques for Formal Verification
Autor Sandip Ray
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2010
Počet stran 243
EAN 9781441959973
ISBN 1441959971
Libristo kód 01423877
Nakladatelství Springer-Verlag New York Inc.
Váha 1200
Rozměry 155 x 235 x 25

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Technologie, strojírenství, zemědělství > Technologie: obecná témata > Strojírenství: obecně
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Výpočetní a informační technologie > Informační technologie: obecná témata
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG / Kniha Brožovaná
common.buy 1 619 Kč
Natural History of the West Indies Sterling A. Stoudemire / Kniha Brožovaná
common.buy 756 Kč
Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA / Kniha Brožovaná
common.buy 256 Kč
Psychological Testing in the Service of Disability Determination Board on the Health of Select Populations / Kniha Brožovaná
common.buy 1 558 Kč
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Kniha Brožovaná
common.buy 663 Kč
Legends & Lattes BALDREE TRAVIS / Kniha Brožovaná
common.buy 293 Kč
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Kniha Kniha
common.buy 1 861 Kč
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 341 Kč
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Kniha Brožovaná
common.buy 155 Kč
V2 Robert Harris / Kniha Brožovaná
common.buy 261 Kč
Future Religious Policy of America William R. Halstead / Kniha Brožovaná
common.buy 449 Kč
The DC Book of Pride: A Celebration of DC's Lgbtqia+ Characters DK / Kniha Pevná
common.buy 367 Kč
What You See Cherise Sinclair / Kniha Brožovaná
common.buy 387 Kč
Sleeping Beauty Jennifer Adams / Kniha Leporelo
common.buy 221 Kč
Renaissance Masterpieces of Art Julia Biggs / Kniha Pevná
common.buy 425 Kč
Culinary Herbs and Spices Magali Chohan / Kniha Pevná
common.buy 3 082 Kč
Top
Board Game Design Advice Gabe Barrett / Kniha Brožovaná
common.buy 420 Kč
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Kniha Brožovaná
common.buy 340 Kč
Never Always: A Enemies to Lovers Navy SEAL Romance Rachel Robinson / Kniha Brožovaná
common.buy 299 Kč
Ethics C.D. Broad / Kniha Pevná
common.buy 4 707 Kč
Three Days in June TYLER ANNE / Kniha Pevná
common.buy 475 Kč
Lectures on the Philosophy of World History Georg Wilhelm Friedrich HegelHugh Barr NisbetDuncan Forbes / Kniha Brožovaná
common.buy 1 061 Kč
Media Production, Delivery and Interaction for Platform Independent Systems - Format-Agnostic Media Oliver Schreer / Kniha Pevná
common.buy 2 502 Kč
Standing Down Falling Up Nita Jackson / Kniha Brožovaná
common.buy 941 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?