[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Verification, Model Checking, and Abstract Interpretation

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Код Либристо: 01655343
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Цялото описание
? points 164 b
127.96 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

Gottfried Keller Albert Köster / С меки корици
common.buy 51.74 лв
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / С меки корици
common.buy 112.76 лв
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / С меки корици
common.buy 136.92 лв
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / С твърди корици
common.buy 112.66 лв
Get addicted to free-motion quilting Sheila Sinclair Snyder / С меки корици
common.buy 36.34 лв
Indische Reisebriefe Ernst Haeckel / С меки корици
common.buy 110.54 лв
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / С меки корици
common.buy 249.59 лв
Burenkrieg (1899-1902) Burkhard Werner / С меки корици
common.buy 78.73 лв
Act creative! (Leben Lernen, Bd. 281) Christian Stadler / С меки корици
common.buy 59.80 лв
Anthems for Choirs 4 Christopher Morris / Ноти
common.buy 88.09 лв
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / С меки корици
common.buy 252.31 лв
History of the People's Republic of China, 1949-1976 Julia Strauss / С меки корици
common.buy 104.60 лв

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.

Информация за книгата

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Gilles Barthe, Manuel Hermenegildo
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 397
Баркод 9783642113185
ISBN 3642113184
Код Либристо 01655343
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 612
Размери 155 x 235 x 23

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo