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

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Bernd Fischer
Код Либристо: 09486332
Издателство Springer International Publishing AG, август 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Nech se vést láskou Sri Chinmoy / Печатни материали Карти
common.buy 4.33 € 8.48 лв
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 22.57 € 44.15 лв
COLOREA TU UNICORNIO / Книга Книга
common.buy 8.88 € 17.37 лв
Jóvenes empresarios: apoyo y formación / Книга С меки корици
common.buy 57.45 € 112.36 лв
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Книга С меки корици
common.buy 15.24 € 29.80 лв
Two Indian Children of Long Ago Frances Lilian Taylor / Книга С меки корици
common.buy 15.39 € 30.10 лв
Servalo Raine Hawthorn / Книга С меки корици
common.buy 11.36 € 22.22 лв
451° по Фаренгейту Рэй Брэдбери / Книга С твърди корици
common.buy 14.82 € 28.99 лв
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Книга С меки корици
common.buy 68.14 € 133.28 лв
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Книга С твърди корици
common.buy 6.66 € 13.03 лв
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Книга С меки корици
common.buy 25.47 € 49.81 лв
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Книга С меки корици
common.buy 86.49 € 169.15 лв
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Книга С твърди корици
common.buy 87.31 € 170.77 лв
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Книга С меки корици
common.buy 21.54 € 42.13 лв
MONSIEUR MARCEL ou de la communication PELAEZ / Книга С меки корици
common.buy 16.68 € 32.63 лв
Waiting for spring T01 / Книга С меки корици
common.buy 11.41 € 22.32 лв
Low Carb Diat Fur Anfanger Simone Jacobs / Книга С меки корици
common.buy 15.75 € 30.81 лв
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Книга С меки корици
common.buy 12.40 € 24.24 лв
DUSK MAIDEN OF AMNESIA 4 MAYBE / Книга С твърди корици
common.buy 11.93 € 23.33 лв
Изгодно
LAC Wanderkarte Madonie 1:50 000 / Печатни материали Карта
common.buy 7.07 € 13.83 лв
Jardin Des Cultures Guyanaises Buland-F / Книга С меки корици
common.buy 67.73 € 132.47 лв
Teczka ofertowa 9002 A4 20 koszulek / Книга binding.
common.buy 4.08 € 7.97 лв
Krankheiten des Magens Max Einhorn / Книга С меки корици
common.buy 25.57 € 50.01 лв
TEHG - ZuV 2020 Lars Hoffmann / Книга Книга
common.buy 73.67 € 144.09 лв

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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

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

Пълно заглавие Model Checking Software
Автор Bernd Fischer, Jaco Geldenhuys
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 319
Баркод 9783319234038
ISBN 331923403X
Код Либристо 09486332
Издателство Springer International Publishing AG
Тегло 5153
Размери 155 x 235 x 20

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Книга С твърди корици
common.buy 708.11 € 1 384.93 лв
Branding Japanese Food Katarzyna J. Cwiertka / Книга С твърди корици
common.buy 89.43 € 174.91 лв
History and Development of the Arabic Language Mohamed El-Sharkawi / Книга С меки корици
common.buy 70.99 € 138.84 лв
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Книга С меки корици
common.buy 33.32 € 65.17 лв
Journal of Biblical and Theological Studies Ryan A. Brandt / Книга С меки корици
common.buy 20.30 € 39.70 лв
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Книга С меки корици
common.buy 12.14 € 23.74 лв
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Книга С меки корици
common.buy 11.77 € 23.03 лв
The New Century Standard Letter-Writer Alfred B. Chambers / Книга С меки корици
common.buy 37.71 € 73.76 лв
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Книга С твърди корици
common.buy 56.16 € 109.84 лв
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Книга С меки корици
common.buy 58.53 € 114.48 лв
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Книга С меки корици
common.buy 95.89 € 187.55 лв
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Книга С твърди корици
common.buy 44.84 € 87.70 лв
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Книга С меки корици
common.buy 15.70 € 30.71 лв
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Книга С меки корици
common.buy 10.79 € 21.11 лв
Psychology Ryan Gold / Книга С меки корици
common.buy 14.98 € 29.30 лв
Delicious Rob Dunn / Книга С меки корици
common.buy 16.48 € 32.23 лв
Superpower Involvement In The Middle East Paul Marantz / E-книга Adobe ePub DRM
common.buy 57.04 € 111.55 лв
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-книга Adobe ePub DRM
common.buy 2.11 € 4.13 лв
Protecting Maggie / Книга С меки корици
common.buy 15.75 € 30.81 лв
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Книга С твърди корици
common.buy 249.09 € 487.17 лв
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Книга С меки корици
common.buy 16.32 € 31.92 лв
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Книга С меки корици
common.buy 19.42 € 37.99 лв
Analog Circuit Design Volume Three Bob Dobkin / Книга С твърди корици
common.buy 103.18 € 201.79 лв
Women Vietnam Veterans DONNA A. LOWERY / Книга С меки корици
common.buy 31.15 € 60.93 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo