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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
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.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

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 23.77 €
Arkham Horror: Lovecraft Letter Zman / Igra/Igračka Igra
common.buy 17.49 €
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Knjiga Meki uvez
common.buy 34.29 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Knjiga Meki uvez
common.buy 25.18 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-knjiga Adobe ePub DRM
common.buy 145.59 €
Tierna obsesion Marisa Estrada Barquet / Knjiga Meki uvez
common.buy 12.13 €
Patron Oro Calderon Ivan Calderon / Knjiga Meki uvez
common.buy 13.04 €
Luz Herrera Goya / Knjiga Meki uvez
common.buy 11.42 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Knjiga Meki uvez
common.buy 17.90 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Knjiga Meki uvez
common.buy 9.20 €
Una storia dovunque Prezioso Sclano / Knjiga Meki uvez
common.buy 15.37 €
Ley de Contratos / Knjiga Meki uvez
common.buy 25.99 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Knjiga Meki uvez
common.buy 57.86 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio CD
common.buy 12.64 €
Nuove storie d'ogni colore Emilio De Marchi / Knjiga Meki uvez
common.buy 13.55 €
Mehrkomponentenvertrage Benedikt Weisser / Knjiga Meki uvez
common.buy 33.99 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Knjiga Tvrdi uvez
common.buy 24.58 €
Un éternel prisonnier Dominique Henry / Knjiga Meki uvez
common.buy 19.82 €
AEsthetik nach Wittgenstein Yves Bossart / Knjiga Tvrdi uvez
common.buy 173.71 €
Primiracconti Luisa Brisi / Knjiga Meki uvez
common.buy 5.45 €

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

Embedded Software and Systems Man Lin / Knjiga Meki uvez
common.buy 109.36 €
Advances in Exception Handling Techniques Alexander Romanovsky / Knjiga Meki uvez
common.buy 51.69 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Knjiga Meki uvez
common.buy 31.66 €
Tessili Rogue Robin Stephen / Knjiga Meki uvez
common.buy 9.40 €
Impinging Streams Sakamon Devahastin / Knjiga Meki uvez
common.buy 56.85 €
Pennycomequicks. a Novel. Sabine Baring-Gould / Knjiga Meki uvez
common.buy 22.96 €
Clasicos Modernos ANA MARIA MATUTE / Knjiga Meki uvez
common.buy 12.03 €
Getting to Grips with BIM Graham Paterson / Knjiga Meki uvez
common.buy 75.27 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Knjiga Meki uvez
common.buy 16.68 €
Degree Gradation of Verbs Jens Fleischhauer / Knjiga Meki uvez
common.buy 39.75 €
Extremism And Reformation David Myatt / Knjiga Meki uvez
common.buy 7.68 €
Chinese Culture in Globalization Rugang Lu / Knjiga Meki uvez
common.buy 47.34 €
The Lay of Lirazel Stephen R Babb / Knjiga Meki uvez
common.buy 13.04 €
Talks James E. Potter / Knjiga Meki uvez
common.buy 22.05 €
Speed of Light and the Simplicity RICHARD CLOUGH / Knjiga Tvrdi uvez
common.buy 29.84 €
Belief and Evangelism DOUGLAS VICKERS / Knjiga Tvrdi uvez
common.buy 32.67 €
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Knjiga Spiralni uvez
common.buy 21.64 €
Running the Show Gill / Knjiga Meki uvez
common.buy 56.85 €
Narrating the Rise of Big Business in the USA Anne Mayhew / Knjiga Tvrdi uvez
common.buy 245.45 €
Mathematical Puzzles Peter Winkler / Knjiga Meki uvez
common.buy 36.82 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Knjiga Meki uvez
common.buy 12.43 €
Cat Got Your Tongue? SHAW HANNAH / Knjiga Tvrdi uvez
common.buy 12.23 €
Selections with Key Clare West / Knjiga Meki uvez
common.buy 25.28 €
Grammar and Style Michael Dummett / Knjiga Meki uvez
common.buy 33.18 €

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