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

Model Checking Software

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Corina S. Pasareanu
Код Либристо: 01650022
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Цялото описание
? points 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Příběhy z temné komory Günter Grass / С твърди корици
common.buy 16.23 лв
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / С меки корици
common.buy 70.60 лв
Klassische Boersenstrategien im Test Daniel Ruppert / С меки корици
common.buy 132.94 лв
Kärntner Auftragsvergabegesetz Michaela Schabus / С меки корици
common.buy 63.24 лв
Theatre and Museums Susan Bennett / С меки корици
common.buy 31.16 лв
Einf hrung in Die Sprachheilkunde J. Berendes / С меки корици
common.buy 162.09 лв
Medieval Islamic Historiography Heather N Keaney / С твърди корици
common.buy 441.61 лв
Modern Monsters Kelley York / С меки корици
common.buy 23.09 лв
Messerwerfer Herbert A. Rößler / С меки корици
common.buy 56.98 лв
Philosophy of Human Hope J.J. Godfrey / С твърди корици
common.buy 252.78 лв
Interstate Relations in Classical Greece Polly Low / С твърди корици
common.buy 267.81 лв
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / С твърди корици
common.buy 130.22 лв

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

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

Пълно заглавие Model Checking Software
Автор Corina S. Pasareanu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 297
Баркод 9783642026515
ISBN 3642026516
Код Либристо 01650022
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 474
Размери 155 x 235 x 17

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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