Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Susanne Graf
Код Либристо: 01559203
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Цялото описание
? points 148 b
61.14 €
119.58  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

Клиентите са закупили също

Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-книга Adobe ePub DRM
common.buy 9.21 € 18.01 лв
Подготвяме
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Книга Книга
common.buy 72.74 € 142.26 лв
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Книга С меки корици
common.buy 10.71 € 20.95 лв
?Quién es mi bebé? EDICIONES / Книга С меки корици
common.buy 19.88 € 38.87 лв
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Видео DVD
common.buy 14.49 € 28.34 лв
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Книга С меки корици
common.buy 13.30 € 26.01 лв
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Книга С меки корици
common.buy 10.56 € 20.65 лв
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Книга С твърди корици
common.buy 38.26 € 74.82 лв
Rafaela McKensey Monika Hoffmann / Книга С меки корици
common.buy 8.18 € 15.99 лв
Königsblut / Книга С меки корици
common.buy 8.23 € 16.09 лв
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Книга С меки корици
common.buy 14.60 € 28.55 лв
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Книга С меки корици
common.buy 45.40 € 88.80 лв

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Model Checking Software
Автор Susanne Graf, Laurent Mounier
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 314
Баркод 9783540213147
ISBN 3540213147
Код Либристо 01559203
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 493
Размери 155 x 235 x 18

Категории

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 Книгата ще пристигне на адреса на получателя

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

Frontiers in Algorithms D. T. Lee / Книга С меки корици
common.buy 60.16 € 117.66 лв
Classic Operating Systems Per Brinch Hansen / Книга С твърди корици
common.buy 108.67 € 212.54 лв
First Steps: Caro-Kann Defence Andrew Martin / Книга С меки корици
common.buy 25.05 € 49.00 лв
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Книга С меки корици
common.buy 20.76 € 40.60 лв
Obituary Mario Martinez / Книга С твърди корици
common.buy 26.30 € 51.43 лв
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Книга С меки корици
common.buy 16.36 € 31.99 лв
Marble Mountain Bud Willis / Книга С меки корици
common.buy 21.59 € 42.22 лв
Sanctuary Willa Ford / Книга С твърди корици
common.buy 32.72 € 63.99 лв
Can You Stand to Be Blessed Lakiya Broadus / Книга С меки корици
common.buy 20.29 € 39.68 лв
A Time to Laugh [With Bag] Ben Alex / Книга С твърди корици
common.buy 14.70 € 28.75 лв
Patología celular Norman F. Cheville / Книга С меки корици
common.buy 45.61 € 89.20 лв
Mobile Communications Handbook Jerry D. Gibson / Книга С меки корици
common.buy 122.03 € 238.67 лв
Eurythmics Eurythmics / Книга С меки корици
common.buy 14.28 € 27.94 лв
A History of Westbury, Long Island Richard Panchyk / Книга С твърди корици
common.buy 25.36 € 49.61 лв
After the World Ended Hannah Lackoff / Книга С меки корици
common.buy 14.85 € 29.05 лв
Theory of Cryptography Amos Beimel / Книга С меки корици
common.buy 54.46 € 106.52 лв
Advent Encounter MATT MESSNER / Книга С твърди корици
common.buy 20.34 € 39.79 лв
Eugenics and Other Evils G. K. Chesterton / Книга С меки корици
common.buy 17.60 € 34.42 лв
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-книга Adobe ePub DRM
common.buy 32.04 € 62.67 лв
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Книга С твърди корици
common.buy 244.48 € 478.15 лв
A to Z of Critical Thinking Beth Black / Книга С твърди корици
common.buy 120.73 € 236.14 лв
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Книга С меки корици
common.buy 31.99 € 62.57 лв
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Книга С твърди корици
common.buy 162.88 € 318.56 лв
Multicriteria Analysis for Land-Use Management E. Beinat / Книга С твърди корици
common.buy 217.04 € 424.48 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?