Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.
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
Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.
Verification, Model Checking, and Abstract Interpretation
Limba
engleză
engleză
Carte
Carte broșată
The book constitutes the refereed proceedings of the 10th International Conference on Verification,...
Descrierea completă
Codul Libristo: 01571263
?
161 b
161 b
320
lei
În depozitul extern în cantități mici
Expediem în 12-15 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Carte broșată
144
lei
/
Carte broșată
73
lei
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.
Informații despre carte
Titlu complet
Verification, Model Checking, and Abstract Interpretation
Autor
Neil D. Jones, Markus Müller-Olm
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2008
Număr pagini
381
EAN
9783540938996
ISBN
3540938990
Codul Libristo
01571263
Greutatea
605
Dimensiuni
155 x 235 x 23
Categorii
Computing & Information Technology
>
Computer programming / software engineering
>
Algorithms & data structures
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
