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

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Код Либристо: 25366158
Издателство Springer Nature Switzerland AG, февруари 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Цялото описание
? points 210 b
86.85 €
169.86  лв
Външен склад Изпращаме след 5-8 дни

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

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

Osteosintesis Ilizarov / Книга С твърди корици
common.buy 75.22 € 147.12 лв
Eyes for the Blind Devlin Аудио Аудио компактдиск
common.buy 15.08 € 29.50 лв
Top
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Книга С твърди корици
common.buy 25.00 € 48.90 лв
Pat Metheny - Travels Pat Metheny / Аудио Аудио компактдиск
common.buy 26.45 € 51.73 лв
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Книга С меки корици
common.buy 45.26 € 88.51 лв
Top
A csíkos pizsamás fiú John Boyne / Книга С меки корици
common.buy 7.85 € 15.35 лв
REMBRANDT Jan Blanc / Книга Книга
common.buy 255.08 € 498.89 лв
Top
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Игра/играчка Пъзел
common.buy 9.40 € 18.38 лв
Dr zwitser en de kerstman Wasterlain Книга С твърди корици
common.buy 8.11 € 15.85 лв
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Книга С твърди корици
common.buy 40.81 € 79.82 лв
Co robić gdy się martwisz Huebner Dawn / Книга С меки корици
common.buy 8.47 € 16.56 лв
POEMAS EMILY DICKINSON / Книга С твърди корици
common.buy 15.19 € 29.70 лв
Simon George Sand / Книга С меки корици
common.buy 10.33 € 20.20 лв
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Книга С меки корици
common.buy 41.43 € 81.04 лв
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Книга С меки корици
common.buy 17.67 € 34.55 лв
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Книга С меки корици
common.buy 47.06 € 92.05 лв
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Книга С меки корици
common.buy 36.06 € 70.53 лв
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Книга С меки корици
common.buy 34.10 € 66.69 лв
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Книга С меки корици
common.buy 15.50 € 30.31 лв
Top
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Печатни материали Ноти
common.buy 24.64 € 48.19 лв

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Dirk Beyer, Damien Zufferey
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2020
Брой страници 471
Баркод 9783030393212
Код Либристо 25366158
Издателство Springer Nature Switzerland AG
Тегло 741
Размери 155 x 235 x 27

Категории

Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Книга С меки корици
common.buy 53.37 € 104.38 лв
Great War John Morrow / Книга С меки корици
common.buy 40.30 € 78.81 лв
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Книга С твърди корици
common.buy 19.27 € 37.68 лв
Writing a Poem Cecilia Minden / Книга С меки корици
common.buy 12.65 € 24.75 лв
A Guide To Peterborough Cathedral George Phillips / Книга С меки корици
common.buy 8.26 € 16.16 лв
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Книга С твърди корици
common.buy 151.74 € 296.79 лв
Secret Code - Spiral of Success Christine Hofmann / Книга С меки корици
common.buy 17.10 € 33.44 лв
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Книга С меки корици
common.buy 12.09 € 23.64 лв
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Книга С меки корици
common.buy 16.63 € 32.53 лв
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Книга С твърди корици
common.buy 428.32 € 837.73 лв
A Trip Towards The Sunset Tatiana Goded / Книга С меки корици
common.buy 16.99 € 33.24 лв
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Книга С меки корици
common.buy 26.60 € 52.03 лв
Curmudgeon Bob Eggers / Книга С меки корици
common.buy 14.98 € 29.30 лв
Teaching Geography Creatively Stephen Scoffham / Книга С меки корици
common.buy 51.30 € 100.34 лв
Theory Past Papers Grade 4 / Книга С меки корици
common.buy 6.04 € 11.81 лв
101 Conversation Starters for Families Ramon L Presson / Книга С меки корици
common.buy 9.19 € 17.98 лв
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Книга С твърди корици
common.buy 74.29 € 145.31 лв
Physics Of Comets (2nd Edition) K.S.K. Swamy / Книга С твърди корици
common.buy 67.89 € 132.77 лв
Getting Away with Murder Vanessa A. Holloway / Книга С меки корици
common.buy 52.39 € 102.46 лв
Social Work and Human Rights Elisabeth Reichert / Книга С твърди корици
common.buy 137.07 € 268.09 лв

Вход

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

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

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

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

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