phone +385 21 784 0072
LIBRISTO 0
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 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Verification, Model Checking, and Abstract Interpretation

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Libristo kod: 01655343
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Gottfried Keller Albert Köster / Meki uvez
common.buy 24.81 €
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Meki uvez
common.buy 65.67 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Meki uvez
common.buy 54.17 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Tvrdi uvez
common.buy 54.07 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Meki uvez
common.buy 119.86 €
Get addicted to free-motion quilting Sheila Sinclair Snyder / Meki uvez
common.buy 17.44 €
Indische Reisebriefe Ernst Haeckel / Meki uvez
common.buy 53.06 €
Burenkrieg (1899-1902) Burkhard Werner / Meki uvez
common.buy 37.83 €
Act creative! (Leben Lernen, Bd. 281) Christian Stadler / Meki uvez
common.buy 28.75 €
Anthems for Choirs 4 Christopher Morris / Note
common.buy 25.62 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Meki uvez
common.buy 121.07 €
History of the People's Republic of China, 1949-1976 Julia Strauss / Meki uvez
common.buy 50.24 €

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.

Informacije o knjizi

Puni naziv Verification, Model Checking, and Abstract Interpretation
Autor Gilles Barthe, Manuel Hermenegildo
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 397
EAN 9783642113185
ISBN 3642113184
Libristo kod 01655343
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 612
Dimenzije 155 x 235 x 23

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun