[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 Antti Valmari
Код Либристо: 01561845
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Цялото описание
? points 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Handbuch Der Waffenkunde Wendelin Boeheim / С меки корици
common.buy 182.92 лв
Grossbuchstaben Geschichten 2 Sara Quast / С меки корици
common.buy 14.82 лв
Grundlagen des Usability-Engineering Marcel Thum / С меки корици
common.buy 88.78 лв
Advanced Dynamics and Control of Structures and Machines Hans Irschik / С меки корици
common.buy 252.84 лв
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / С меки корици
common.buy 78.89 лв
Schäden an polymeren Beschichtungen. Robert Engelfried / С твърди корици
common.buy 90.80 лв
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / С меки корици
common.buy 33.59 лв
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 / Лист
common.buy 29.25 лв
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / С твърди корици
common.buy 64.06 лв

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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

Пълно заглавие Model Checking Software
Автор Antti Valmari
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 308
Баркод 9783540331025
ISBN 3540331026
Код Либристо 01561845
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1010
Размери 155 x 19 x 19

Категории

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