Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Orna Grumberg
Libristo kod: 05274713
Nakladnici Springer, Berlin, studeni 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Cijeli opis
? points 125 b
51.76 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Knjiga Meki uvez
common.buy 22.58 €
La lozanía de los inmortales Vera Portocarrero / Knjiga Meki uvez
common.buy 19.54 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-knjiga Adobe ePub DRM
common.buy 147.99 €
Luz Herrera Goya / Knjiga Meki uvez
common.buy 10.73 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Knjiga Meki uvez
common.buy 17.92 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Knjiga Meki uvez
common.buy 25.21 €
Patron Oro Calderon Ivan Calderon / Knjiga Meki uvez
common.buy 13.06 €
Arkham Horror: Lovecraft Letter Zman / Igra/Igračka Igra
common.buy 17.52 €
Le Monde extérieur Duras / Knjiga Meki uvez
common.buy 18.73 €
Primiracconti Luisa Brisi / Knjiga Meki uvez
common.buy 5.66 €
Mathefreunde - Ausgabe Nord 2010 (Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen-Anhalt) - 4. Schuljahr Edmund Wallis / Knjiga List
common.buy 13.36 €
AEsthetik nach Wittgenstein Yves Bossart / Knjiga Tvrdi uvez
common.buy 173.93 €
Un éternel prisonnier Dominique Henry / Knjiga Meki uvez
common.buy 19.85 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Knjiga Tvrdi uvez
common.buy 22.78 €
Mehrkomponentenvertrage Benedikt Weisser / Knjiga Meki uvez
common.buy 34.03 €
Nuove storie d'ogni colore Emilio De Marchi / Knjiga Meki uvez
common.buy 13.56 €
Tierna obsesion Marisa Estrada Barquet / Knjiga Meki uvez
common.buy 12.15 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio CD
common.buy 12.65 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Knjiga Meki uvez
common.buy 57.94 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Knjiga Meki uvez
common.buy 9.21 €
The Boys Integral 03 GARTH ENNIS / Knjiga Meki uvez
common.buy 39.60 €
Very funny things : nueva comedia americana Violeta Kovacsics / Knjiga Meki uvez
common.buy 27.95 €
Ley de Contratos / Knjiga Meki uvez
common.buy 24.71 €
Phantasien uber die Kunst fur Freunde der Kunst Wilhelm Heinrich Wackenroder / Knjiga Tvrdi uvez
common.buy 17.92 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Orna Grumberg
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1997
Broj stranica 492
EAN 9783540631668
ISBN 3540631666
Libristo kod 05274713
Nakladnici Springer, Berlin
Težina 654
Dimenzije 156 x 234 x 25

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Advances in Exception Handling Techniques Alexander Romanovsky / Knjiga Meki uvez
common.buy 51.76 €
Embedded Software and Systems Man Lin / Knjiga Meki uvez
common.buy 109.50 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Knjiga Meki uvez
common.buy 31.70 €
Talks James E. Potter / Knjiga Meki uvez
common.buy 22.07 €
Pripremamo
Information Processing and Management CAT 3 1999 Explanation of Criteria and Case Studies with Answers Jenny Little / Knjiga Meki uvez
common.buy 10.22 €
Getting to Grips with BIM Graham Paterson / Knjiga Meki uvez
common.buy 75.36 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Knjiga Meki uvez
common.buy 16.70 €
Degree Gradation of Verbs Jens Fleischhauer / Knjiga Meki uvez
common.buy 39.80 €
A Cook in the Kingdom Daniel Gonzalez / Knjiga Meki uvez
common.buy 13.06 €
Read All about the Human Body / Knjiga Tvrdi uvez
common.buy 28.05 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Knjiga Meki uvez
common.buy 12.35 €
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Knjiga Meki uvez
common.buy 33.93 €
Tessili Rogue Robin Stephen / Knjiga Meki uvez
common.buy 9.41 €
The Lay of Lirazel Stephen R Babb / Knjiga Meki uvez
common.buy 13.06 €
Finding the Way Home Chris McFarland / Knjiga Meki uvez
common.buy 8.60 €
Clasicos Modernos ANA MARIA MATUTE / Knjiga Meki uvez
common.buy 12.15 €
A Simplified Interpretation of the Book of Revelation: Based Primarily on Two Modern Revelations Given to Us by Jesus in 1908 Walker Thomas / Knjiga Meki uvez
common.buy 23.90 €
Speed of Light and the Simplicity RICHARD CLOUGH / Knjiga Tvrdi uvez
common.buy 29.87 €
Belief and Evangelism DOUGLAS VICKERS / Knjiga Tvrdi uvez
common.buy 32.71 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Knjiga Meki uvez
common.buy 103.12 €
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Knjiga Spiralni uvez
common.buy 21.67 €
Running the Show Gill / Knjiga Meki uvez
common.buy 56.82 €
By the Moon Alyce Taylor / Knjiga Meki uvez
common.buy 16.30 €
Extremism And Reformation David Myatt / Knjiga Meki uvez
common.buy 7.69 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?