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

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Rajeev Alur
Libristo kod: 01559563
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Cijeli opis
? points 249 b
103.16 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

TNM Atlas 7e JD Brierley / Knjiga Meki uvez
common.buy 97.89 €
PALINODIE Giacomo LEOPARDI / Knjiga Meki uvez
common.buy 9.11 €
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Igra/Igračka Igračka
common.buy 21.68 €
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Knjiga Tvrdi uvez
common.buy 11.44 €
Top
Cosa Nostra John Dickie / Knjiga Meki uvez
common.buy 13.77 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Knjiga Meki uvez
common.buy 7.69 €
Pripremamo
Praha mapa turistických zajímavostí / Tiskanica Mapa
common.buy 2.52 €
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques / Knjiga Tvrdi uvez
common.buy 21.78 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Knjiga Meki uvez
common.buy 31.10 €
Maison la plus grande du monde (La) LIONNI / Knjiga Meki uvez
common.buy 8.60 €
Adolescence, maltraitance et placement Van Hooland / Knjiga Meki uvez
common.buy 19.35 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Knjiga Meki uvez
common.buy 7.39 €
L'imperatore dei Mondi- Libro Uno (Terra e Acqua) LUCA NAZZARRI / Knjiga Meki uvez
common.buy 18.03 €
Código de insolvencias empresariales Rodriguez Achutegui / Knjiga Meki uvez
common.buy 70.83 €
1870 -1871. Vier Bucher deutscher Geschichte Johannes Scherr / Knjiga Meki uvez
common.buy 27.76 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Knjiga Meki uvez
common.buy 11.75 €
Povoljno
Harry Potter Tvory a netvory Jody Revenson / Knjiga Tvrdi uvez
common.buy 24.21 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Rajeev Alur, Doron A. Peled
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2004
Broj stranica 536
EAN 9783540223429
ISBN 3540223428
Libristo kod 01559563
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1700
Dimenzije 155 x 233 x 30

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Computing & Information Technology > Computer science > Artificial intelligence
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

Neuroeconomics MARTIN REUTER / Knjiga Meki uvez
common.buy 164.88 €
Happiness Andy Cope / Knjiga Tvrdi uvez
common.buy 15.80 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Knjiga Meki uvez
common.buy 51.57 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Knjiga Tvrdi uvez
common.buy 32.72 €
Managing the Moon Program NASA History Division / Knjiga Meki uvez
common.buy 20.06 €
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas / Knjiga Tvrdi uvez
common.buy 71.13 €
Operatic China D. Lei / Knjiga Meki uvez
common.buy 91.91 €
Beyond Babar Sandra L. Beckett / E-knjiga Adobe ePub DRM
common.buy 91.30 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Knjiga Meki uvez
common.buy 103.16 €
Women Who Move Mountains Sue Detweiler / Knjiga Meki uvez
common.buy 15.80 €
Maria The Monarch Homero Aridjis / Knjiga Meki uvez
common.buy 12.96 €
Second Language Teacher Education Diane J. Tedick / Knjiga Meki uvez
common.buy 93.03 €
Stories of Animal Sagacity W. H. G. Kingston / Knjiga Meki uvez
common.buy 19.75 €
More Than Words Vernon Logan / Knjiga Meki uvez
common.buy 17.12 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Knjiga Meki uvez
common.buy 33.84 €
Chasing Time F I Goldhaber / Knjiga Meki uvez
common.buy 10.83 €
Devil's Reign Zdarsky / Knjiga Meki uvez
common.buy 25.33 €
Povoljno
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Knjiga Meki uvez
common.buy 2.73 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Knjiga Meki uvez
common.buy 16.51 €
Interpretations of Native North American Life Michael S. Nassaney / Knjiga Meki uvez
common.buy 28.47 €
Embodying Health Identities A James / Knjiga Meki uvez
common.buy 62.22 €
History of Science, History of Text Karine Chemla / Knjiga Tvrdi uvez
common.buy 246.06 €
Multispectral Satellite Image Understanding Cem Ünsalan / Knjiga Meki uvez
common.buy 157.28 €
Effective Crime Reduction Strategies James F. Albrecht / E-knjiga Adobe ePub DRM
common.buy 68.91 €

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?