[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 Alastair Donaldson
Код Либристо: 01661641
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Цялото описание
? points 214 b
166.63 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Cracked James Davies / С меки корици
common.buy 25.11 лв
Last Generation of the Roman Republic Gruen / С меки корици
common.buy 108.93 лв
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / С твърди корици
common.buy 373.73 лв
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / С меки корици
common.buy 51.74 лв
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / С меки корици
common.buy 201.94 лв
Miss Pardoe's Complete Works 1806-1862 Pardoe / С твърди корици
common.buy 101.97 лв
Methane and its Derivatives Sunggyu Lee / С твърди корици
common.buy 926.21 лв
Mapa ecoturístic de Catalunya Antoni Curcó Masip / С меки корици
common.buy 33.18 лв
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / С меки корици
common.buy 62.73 лв
La Nuit: Imaginaire Et Realites Nocturnes Dans Le Monde Greco-Romain A. Chaniotis / С твърди корици
common.buy 150.80 лв
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / С меки корици
common.buy 28.64 лв
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / С меки корици
common.buy 82.10 лв
Restraining Rage William Vernon Harris / С меки корици
common.buy 104.09 лв
GER-ARA PACIS AVGVSTAE George 1841 Niemann / С меки корици
common.buy 56.68 лв

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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

Пълно заглавие Model Checking Software
Автор Alastair Donaldson, David Parker
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 261
Баркод 9783642317583
ISBN 3642317588
Код Либристо 01661641
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 421
Размери 155 x 235 x 15

Категории

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