info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Verification, Model Checking, and Abstract Interpretation

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Код Либристо: 01571263
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Цялото описание
? points 179 b
142 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

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

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

TOP
The Rising Kelley Armstrong / С меки корици
common.buy 25 лв
Frightened Kitten Holly Webb / С меки корици
common.buy 16 лв
Between Facts and Norms - Contributions to a Discourse Theory of Law and Democracy Jürgen Habermas / С меки корици
common.buy 67 лв
Level 5: On the Road Jack Kerouac / С меки корици
common.buy 32 лв
Pověsti Čech, Moravy a Slezska August Sedláček / С твърди корици
common.buy 16 лв
Das Orakel vom Berge Philip K. Dick / С меки корици
common.buy 23 лв
Tiny House: Remarkable Beginners Guide to Interior Design, Affordable Living, and 50 Hacks for Ginormous Living! Michael Scott Reeves / С меки корици
common.buy 32 лв
Writing Around the World Matthew McCool / С твърди корици
common.buy 557 лв
Israel Jack Altman / С меки корици
common.buy 14 лв
Quantifizierung Operationeller Risiken Christian Bohlender / С меки корици
common.buy 105 лв
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / С меки корици
common.buy 180 лв

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.

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Neil D. Jones, Markus Müller-Olm
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 381
Баркод 9783540938996
ISBN 3540938990
Код Либристо 01571263
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 605
Размери 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