Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Cum să cumpăr
Ajutor
Livrare
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Computer Aided Verification
Limba
engleză
engleză
Carte
Carte broșată
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S...
Descrierea completă
Codul Libristo: 05274394
?
161 b
161 b
324
lei
În depozitul extern în cantități mici
Expediem în 12-17 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
Informații despre carte
Titlu complet
Computer Aided Verification
Autor
David L. Dill
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
1994
Număr pagini
486
EAN
9783540581796
ISBN
3540581790
Codul Libristo
05274394
Greutatea
1520
Dimensiuni
155 x 235 x 26
