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

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Patrick Godefroid
Код Либристо: 01560970
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Die Transformatoren R. Küchler / Книга С меки корици
common.buy 81.28 € 158.97 лв
Подготвяме
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Игра/играчка Играчка
common.buy 78.85 € 154.21 лв
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-книга Adobe ePub DRM
common.buy 2.79 € 5.46 лв
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-книга Adobe ePub DRM
common.buy 0.98 € 1.91 лв
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Книга С меки корици
common.buy 7.86 € 15.38 лв
Les plus belles parties d'échecs de Paul Morphy Reinfeld / Книга С меки корици
common.buy 19.41 € 37.96 лв
Global Tools (1973-1975) / Книга С твърди корици
common.buy 44.47 € 86.97 лв
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Книга С меки корици
common.buy 21.59 € 42.22 лв
Ineos Grenadier Jörg Sand / Книга С твърди корици
common.buy 15.32 € 29.96 лв
Šťastie na prenájom Lucia Braunová / Книга С меки корици
common.buy 7.71 € 15.08 лв
Passwort Logbuch Uwe H. Sültz / Книга С меки корици
common.buy 4.81 € 9.41 лв
SLOVO BUDHOVO Nyánatiloka Maháthera / Книга Книга
common.buy 7.97 € 15.58 лв
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Книга С меки корици
common.buy 11.59 € 22.67 лв
La Region Mas Transparente Carlos Fuentes / Книга С меки корици
common.buy 19.26 € 37.66 лв
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Книга С меки корици
common.buy 45.35 € 88.70 лв
Aronia - Das heimische Superfood Tanja Braune / Книга С меки корици
common.buy 17.75 € 34.72 лв
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Книга С меки корици
common.buy 6.21 € 12.14 лв
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Книга С меки корици
common.buy 29.82 € 58.32 лв
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Книга С меки корици
common.buy 18.22 € 35.63 лв
Les Petits Loustics Hugues Denisot / Книга С меки корици
common.buy 16.15 € 31.58 лв
Ingenieurbauführer Berlin Roland May / Книга С меки корици
common.buy 26.87 € 52.55 лв
Main de fer et gant de velours Virginie Platel / Книга С меки корици
common.buy 23.86 € 46.67 лв
En Ovantad flykt till Sverige Tadesse Kassa / Книга С меки корици
common.buy 11.59 € 22.67 лв
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Книга С меки корици
common.buy 8.90 € 17.41 лв

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

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

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

Пълно заглавие Model Checking Software
Автор Patrick Godefroid
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2005
Брой страници 292
Баркод 9783540281955
ISBN 3540281959
Код Либристо 01560970
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 960
Размери 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 Книгата ще пристигне на адреса на получателя

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

GREAT CAROLS Hal Leonard Corp / Книга С меки корици
common.buy 14.03 € 27.43 лв
Across the Seasons Laura Rugel Glise / Книга С меки корици
common.buy 19.20 € 37.56 лв
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Книга С меки корици
common.buy 22.00 € 43.03 лв
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Книга С твърди корици
common.buy 209.32 € 409.40 лв
Home On Bramble Hill Holly Martin / Аудиокнига MP3
common.buy 15.94 € 31.18 лв
Not in the Flesh Ruth Rendell / Книга С меки корици
common.buy 15.58 € 30.47 лв
Lakeland Lynn M. Homan / Книга С меки корици
common.buy 22.15 € 43.33 лв
The English Baptists John Clifford / Книга С твърди корици
common.buy 43.38 € 84.85 лв
White Cats Book Marjo-Kaisu Niinikoski / Книга С меки корици
common.buy 20.91 € 40.90 лв
Gabriella's Reading Log Martha Day Zschock / Книга С твърди корици
common.buy 15.79 € 30.87 лв
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Книга С меки корици
common.buy 37.79 € 73.91 лв
Mini Look & Find at School (Mini Look & Find) Thierry Laval / Книга С твърди корици
common.buy 10.19 € 19.94 лв
Lightning Strikes Stephanie Richards / Книга С меки корици
common.buy 13.56 € 26.52 лв
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Книга С меки корици
common.buy 9.37 € 18.32 лв
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Книга С меки корици
common.buy 14.85 € 29.05 лв
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Книга С меки корици
common.buy 10.04 € 19.64 лв
Double Digit Annabel Monaghan / E-книга Adobe ePub DRM
common.buy 2.58 € 5.05 лв
Circle Mosaics Coloring Book 2: Cute Animals Coloring Pages Color by Number Puzzle for Adults Kodomo Publishing / Книга С меки корици
common.buy 8.69 € 17.00 лв
Horrible Craft Book Laura Minter / Книга С меки корици
common.buy 15.79 € 30.87 лв
Understanding FIDIC Kelvin Hughes / Книга С твърди корици
common.buy 178.10 € 348.33 лв
Georgian Tinatin Bolkvadze / Книга С твърди корици
common.buy 188.56 € 368.79 лв
Fishing Holidays Stephen Gwynn / Книга С меки корици
common.buy 24.12 € 47.18 лв
Fist Number 6 Dean Whittington / Книга С твърди корици
common.buy 27.28 € 53.36 лв
Top
Fun Card English Present Perfect vs Past Simple Dwornik Paweł / Печатни материали Карти
common.buy 8.54 € 16.70 лв

Вход

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

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

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

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

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