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

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software María del Mar Gallardo
Код Либристо: 19534895
Издателство Springer International Publishing AG, юни 2018
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Цялото описание
? points 132 b
54.06 €
105.73  лв
Външен склад Изпращаме след 5-8 дни

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

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

Rüyalar ve Uyanislar Defteri Latife Tekin / Книга С меки корици
common.buy 14.80 € 28.94 лв
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Книга С меки корици
common.buy 37.51 € 73.37 лв
naanallada naanu s.g.shivashankar / Книга С меки корици
common.buy 15.52 € 30.35 лв
Plastic Death Glass Beach / Аудио Аудио компактдиск
common.buy 22.92 € 44.82 лв
Gesammelte Werke Ernst Von Wildenbruch / Книга С меки корици
common.buy 60.84 € 119.00 лв
Das Erbe Martin Wieland / Книга С меки корици
common.buy 21.63 € 42.31 лв
Guida al cinema noir Stefano Di Marino / Книга С меки корици
common.buy 50.98 € 99.70 лв
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Книга С меки корици
common.buy 16.13 € 31.55 лв
Elaboración de vinos espumosos y cavas Madrid Vicente / Книга С меки корици
common.buy 39.72 € 77.69 лв
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Книга С меки корици
common.buy 25.69 € 50.25 лв
Desserts faciles pour débutants - 100 recettes à dévorer / Книга С меки корици
common.buy 6.93 € 13.56 лв
Adelaïde la licorne et les enfants du monde - Ingrid et le troupeau de rennes Colette Becuzzi / Книга С меки корици
common.buy 7.60 € 14.87 лв
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Книга С меки корици
common.buy 46.81 € 91.56 лв
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Книга С меки корици
common.buy 9.50 € 18.58 лв

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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

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

Пълно заглавие Model Checking Software
Автор María del Mar Gallardo, Pedro Merino
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2018
Брой страници 347
Баркод 9783319941103
ISBN 3319941100
Код Либристо 19534895
Издателство Springer International Publishing AG
Тегло 557
Размери 155 x 235 x 20

Категории

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

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

Testing: Academic and Industrial Conference - Practice and Research Techniques Leonardo Bottaci / Книга С меки корици
common.buy 58.22 € 113.87 лв
Danger Music Eddie Ayres / Книга С меки корици
common.buy 10.94 € 21.40 лв
Joan Perlman: Element/Frumkraftur Petrun Petursdottir / Книга С меки корици
common.buy 23.89 € 46.73 лв
Ecocriticism and Italy Serenella Iovino / Книга С меки корици
common.buy 54.37 € 106.33 лв
Tiny the Vancouver Easter Bunny Eric James / Книга С твърди корици
common.buy 10.12 € 19.79 лв
Shays's Rebellion Richards / Книга С меки корици
common.buy 28.16 € 55.07 лв
He Helps Me Rise Rita Gottfred / Книга С меки корици
common.buy 12.95 € 25.32 лв
Inventive Engineering Tomasz Arciszewski / Книга С твърди корици
common.buy 341.50 € 667.91 лв
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds / Книга С меки корици
common.buy 14.74 € 28.84 лв
Villainous Jessica S Carter / Книга С меки корици
common.buy 9.35 € 18.28 лв
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Книга С меки корици
common.buy 46.81 € 91.56 лв
Hymns, Psalms and Prayers Isaac Mayer Wise / Книга С меки корици
common.buy 21.63 € 42.31 лв
British Motor Fishing Vessels John McWilliams / Книга С меки корици
common.buy 19.11 € 37.38 лв
Rust Belt Burlesque Erin O'Brien / Книга С меки корици
common.buy 21.89 € 42.81 лв
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Книга С меки корици
common.buy 25.18 € 49.24 лв
Top
Radiant, Vol. 8, 8 Tony Valente / Книга С меки корици
common.buy 8.11 € 15.87 лв
Interpreting the New Testament Francis J. Moloney / Книга С меки корици
common.buy 33.19 € 64.92 лв
The flying flower(ID) Philip I. Shin / Книга С меки корици
common.buy 6.16 € 12.05 лв
Catch a Falling Star Mason Stone / Книга С меки корици
common.buy 10.79 € 21.10 лв
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / E-книга Adobe ePub DRM
common.buy 12.59 € 24.62 лв
The Heart of Your Script Phil Hughes / Книга С меки корици
common.buy 27.80 € 54.37 лв
Нови
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Книга С твърди корици
common.buy 199.91 € 390.99 лв
Towards a Federal Europe Alexander H. Trechsel / Книга С меки корици
common.buy 48.97 € 95.78 лв
Top
Creating Textures in Pen & Ink with Watercolor Claudia Nice / Книга С меки корици
common.buy 20.09 € 39.29 лв

Вход

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

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

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

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

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