phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Verification, Model Checking, and Abstract Interpretation

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Codul Libristo: 01655343
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Burenkrieg (1899-1902) Burkhard Werner / Carte broșată
common.buy 200 lei
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Carte broșată
common.buy 348 lei
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Carte broșată
common.buy 287 lei
Gottfried Keller Albert Köster / Carte broșată
common.buy 126 lei
Act creative! (Leben Lernen, Bd. 281) Christian Stadler / Carte broșată
common.buy 145 lei
Anthems for Choirs 4 Christopher Morris / Note muzicale
common.buy 130 lei
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Copertă tare
common.buy 273 lei
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Carte broșată
common.buy 640 lei
Get addicted to free-motion quilting Sheila Sinclair Snyder / Carte broșată
common.buy 94 lei
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Carte broșată
common.buy 636 lei
Indische Reisebriefe Ernst Haeckel / Carte broșată
common.buy 282 lei
History of the People's Republic of China, 1949-1976 Julia Strauss / Carte broșată
common.buy 264 lei

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Informații despre carte

Titlu complet Verification, Model Checking, and Abstract Interpretation
Autor Gilles Barthe, Manuel Hermenegildo
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 397
EAN 9783642113185
ISBN 3642113184
Codul Libristo 01655343
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 612
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
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo