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

Model Checking Software

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Dragan Bosnacki
Код Либристо: 01568802
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Цялото описание
? points 179 b
142 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

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

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

Contact! Bob Tuxford / С твърди корици
common.buy 80 лв
Premium Touren. Ein schöner Tag wandern Ulrike Poller / С меки корици
common.buy 38 лв
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / С меки корици
common.buy 116 лв
Preaching the Tradition Rex Mason / С меки корици
common.buy 106 лв
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / С твърди корици
common.buy 189 лв
The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / С меки корици
common.buy 37 лв

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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

Пълно заглавие Model Checking Software
Автор Dragan Bosnacki, Stefan Edelkamp
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 285
Баркод 9783540733690
ISBN 3540733698
Код Либристо 01568802
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 462
Размери 155 x 235 x 17

Категории

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