Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!
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 €
Kako kupovati
Pomoć
Dostava
Overseas 4.99 €
Pošta 4.99 €
DPD 5.99 €
GLS 3.99 €
GLS paketomat 3.49 €
Box Now 4.49 €
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Savjetnik za kupnju
Ovdje smo zbog vas!
+385 21 784 0072
Moj račun
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti.
Izradite besplatni račun
▸
Prazno :-(
0
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!
Computer Aided Verification
Jezik
Engleski
Engleski
Knjiga
Meki uvez
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide...
Cijeli opis
Libristo kod: 01560845
?
304 b
304 b
120.75
€
Vanjske zalihe u manjem broju
Šaljemo za 13-16 dana
30 dana za povrat kupljenih proizvoda
Moglo bi vas zanimati i
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 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.
Informacije o knjizi
Puni naziv
Computer Aided Verification
Jezik
Engleski
Engleski
Uvez
Knjiga - Meki uvez
Datum izdanja
2005
Broj stranica
568
EAN
9783540272311
ISBN
3540272313
Libristo kod
01560845
Težina
1800
Dimenzije
155 x 235 x 32
