Проверка на състоянието на поръчката
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

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Jaco C. van de Pol
Код Либристо: 01656755
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Цялото описание
? points 142 b
58.67 €
114.74  лв
Външен склад Изпращаме след 9-15 дни

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

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

Star Wars Hidden Empire T02 / Книга С меки корици
common.buy 22.63 € 44.25 лв
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 57.17 € 111.81 лв
Be Kind (Nepali-English) Livia Lemgruber / Книга С меки корици
common.buy 17.45 € 34.12 лв
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Календар/тефтер Тефтер
common.buy 11.34 € 22.17 лв
Den Libanon lieben lernen Laura Ziegler / Книга С меки корици
common.buy 7.81 € 15.28 лв
Diamante Nero Victoria Quinn / Книга С меки корици
common.buy 15.74 € 30.78 лв
Die besten Aufstriche selbst gemacht Charly Till / Книга С меки корици
common.buy 9.16 € 17.92 лв
Textanfänge Ulrike Krieg-Holz / Книга С меки корици
common.buy 49.76 € 97.32 лв
Raketa Hravá kniha pro děti collegium / Книга С меки корици
common.buy 13.51 € 26.42 лв
Nach dem bewaffneten Kampf Angelika Holderberg / Книга С меки корици
common.buy 10.14 € 19.84 лв
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Книга С меки корици
common.buy 13.72 € 26.83 лв
Uzniki Razuma Tat'yana Volkova / Книга С меки корици
common.buy 55.56 € 108.67 лв

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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

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

Пълно заглавие Model Checking Software
Автор Jaco C. van de Pol, Michael Weber
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 263
Баркод 9783642161636
ISBN 3642161634
Код Либристо 01656755
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 421
Размери 159 x 235 x 18

Категории

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Sword Song Sal Quartuccio / Книга С меки корици
common.buy 20.50 € 40.10 лв
Myofascial Induction (TM) Andrzej Pilat / Книга С твърди корици
common.buy 159.49 € 311.94 лв
Down the Highway: The Life of Bob Dylan Howard Sounes / Книга С меки корици
common.buy 17.29 € 33.82 лв
The Shadow Lily Johanna Mo / Книга С меки корици
common.buy 14.91 € 29.16 лв
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Книга С меки корици
common.buy 7.30 € 14.27 лв
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Книга С меки корици
common.buy 13.67 € 26.73 лв
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Книга С меки корици
common.buy 7.50 € 14.68 лв
History of Wyoming; Volume 1 Ichabod S. Bartlett / Книга С меки корици
common.buy 31.64 € 61.87 лв
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Книга С меки корици
common.buy 14.65 € 28.65 лв
Shadowless Alison Robinson / Книга С твърди корици
common.buy 18.02 € 35.24 лв
Harbor Knight Ralph A Garcia / Книга С меки корици
common.buy 15.79 € 30.88 лв
Best Is Always... Still Yet to Come! Keith Payne / Книга С меки корици
common.buy 17.24 € 33.72 лв
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Книга С твърди корици
common.buy 43.96 € 85.98 лв
Tour to London Pierre Jean Grosley / Книга С меки корици
common.buy 27.23 € 53.27 лв
Boxer's Bible of Counterpunching Mark Hatmaker / Книга С меки корици
common.buy 11.34 € 22.17 лв

Вход

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

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

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

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

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