phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Computer Aided Verification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Ed Brinksma
Libristo kod: 01564506
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Cijeli opis
? points 304 b
121.07 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP PRIPREMAMO
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Tvrdi uvez
common.buy 23.90 €
Approximate Distributions of Order Statistics Rolf-Dieter Reiss / Tvrdi uvez
common.buy 89.89 €
Abenteuer des schwarzen Gerard 2 Karl May / Tvrdi uvez
common.buy 26.83 €
Under the Gaslight Augustin Daly / Meki uvez
common.buy 19.16 €
Introduction to Logic and Theory of Knowledge Edmund Husserl / Meki uvez
common.buy 327.30 €
Biomedical Institutions, Biomedical Funding, and Public Policy H. Hugh Fudenberg / Meki uvez
common.buy 61.44 €
Cocktails Manuela Eder / Tvrdi uvez
common.buy 7.05 €
Arab Business Yearbook 1986 raham & Trotman Ltd / Tvrdi uvez
common.buy 186.25 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Ed Brinksma, Kim G. Larsen
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2002
Broj stranica 362
EAN 9783540439974
ISBN 3540439978
Libristo kod 01564506
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 2010
Dimenzije 155 x 233 x 36

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

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