[email protected]
Răspundem în 24 de ore
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Packeta 15.00 lei
Cargus 25.00 lei
FAN 25.00 lei
Easybox 20.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Cargus 25.00 lei
FAN 25.00 lei
Easybox 20.00 lei
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
[email protected]
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
Scalable Techniques for Formal Verification
Limba
engleză
engleză
Carte
Carte broșată
This book presents the latest approaches to formal verification techniques to seamlessly integrate d...
Descrierea completă
Codul Libristo: 09062296
?
331 b
331 b
656.32
lei
În depozitul extern în cantități mici
Expediem în 13-16 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.
Informații despre carte
Titlu complet
Scalable Techniques for Formal Verification
Autor
SANDIP RAY
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2014
Număr pagini
243
EAN
9781489984449
ISBN
9781489984449
Codul Libristo
09062296
Editura
Springer-Verlag New York Inc.
Greutatea
403
Dimensiuni
155 x 235 x 15
