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.

Computer Aided Verification

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Orna Grumberg
Libristo kód: 05274713
Nakladatelství Springer, Berlin, listopad 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Kniha Brožovaná
common.buy 603 Kč
Arkham Horror: Lovecraft Letter Zman / Hra/Hračka Hra
common.buy 401 Kč
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Kniha Brožovaná
common.buy 789 Kč
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Kniha Brožovaná
common.buy 576 Kč
Handbuch Alzheimer-Krankheit Frank Jessen / E-kniha Adobe ePub DRM
common.buy 3 716 Kč
Tierna obsesion Marisa Estrada Barquet / Kniha Brožovaná
common.buy 279 Kč
Patron Oro Calderon Ivan Calderon / Kniha Brožovaná
common.buy 299 Kč
Luz Herrera Goya / Kniha Brožovaná
common.buy 289 Kč
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Kniha Brožovaná
common.buy 406 Kč
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Kniha Brožovaná
common.buy 211 Kč
Una storia dovunque Prezioso Sclano / Kniha Brožovaná
common.buy 352 Kč
Ley de Contratos / Kniha Brožovaná
common.buy 656 Kč
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Kniha Brožovaná
common.buy 1 318 Kč
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio CD
common.buy 287 Kč
Nuove storie d'ogni colore Emilio De Marchi / Kniha Brožovaná
common.buy 308 Kč
Mehrkomponentenvertrage Benedikt Weisser / Kniha Brožovaná
common.buy 774 Kč
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Kniha Pevná
common.buy 624 Kč
Un éternel prisonnier Dominique Henry / Kniha Brožovaná
common.buy 450 Kč
AEsthetik nach Wittgenstein Yves Bossart / Kniha Pevná
common.buy 3 982 Kč
Primiracconti Luisa Brisi / Kniha Brožovaná
common.buy 138 Kč

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Computer Aided Verification
Autor Orna Grumberg
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 492
EAN 9783540631668
ISBN 3540631666
Libristo kód 05274713
Nakladatelství Springer, Berlin
Váha 654
Rozměry 156 x 234 x 25

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

Embedded Software and Systems Man Lin / Kniha Brožovaná
common.buy 2 646 Kč
Advances in Exception Handling Techniques Alexander Romanovsky / Kniha Brožovaná
common.buy 1 182 Kč
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Kniha Brožovaná
common.buy 728 Kč
Tessili Rogue Robin Stephen / Kniha Brožovaná
common.buy 217 Kč
Impinging Streams Sakamon Devahastin / Kniha Brožovaná
common.buy 1 451 Kč
Pennycomequicks. a Novel. Sabine Baring-Gould / Kniha Brožovaná
common.buy 521 Kč
Clasicos Modernos ANA MARIA MATUTE / Kniha Brožovaná
common.buy 292 Kč
Getting to Grips with BIM Graham Paterson / Kniha Brožovaná
common.buy 1 740 Kč
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Kniha Brožovaná
common.buy 382 Kč
Degree Gradation of Verbs Jens Fleischhauer / Kniha Brožovaná
common.buy 911 Kč
Extremism And Reformation David Myatt / Kniha Brožovaná
common.buy 176 Kč
Chinese Culture in Globalization Rugang Lu / Kniha Brožovaná
common.buy 1 209 Kč
The Lay of Lirazel Stephen R Babb / Kniha Brožovaná
common.buy 299 Kč
Talks James E. Potter / Kniha Brožovaná
common.buy 509 Kč
Speed of Light and the Simplicity RICHARD CLOUGH / Kniha Pevná
common.buy 686 Kč
Belief and Evangelism DOUGLAS VICKERS / Kniha Pevná
common.buy 742 Kč
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Kniha Kroužková
common.buy 459 Kč
Running the Show Gill / Kniha Brožovaná
common.buy 1 342 Kč
Narrating the Rise of Big Business in the USA Anne Mayhew / Kniha Pevná
common.buy 5 675 Kč
Mathematical Puzzles Peter Winkler / Kniha Brožovaná
common.buy 813 Kč
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Kniha Brožovaná
common.buy 315 Kč
Cat Got Your Tongue? SHAW HANNAH / Kniha Pevná
common.buy 276 Kč
Selections with Key Clare West / Kniha Brožovaná
common.buy 580 Kč
Grammar and Style Michael Dummett / Kniha Brožovaná
common.buy 772 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