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

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Код Либристо: 15560990
Издателство Springer International Publishing AG, януари 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Цялото описание
? points 132 b
54.34 €
106.28  лв
Външен склад Изпращаме след 5-8 дни

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

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

Satires Contre Les Astronomes MERCIER-L-S / Книга С меки корици
common.buy 13.68 € 26.76 лв
MEURTRIERS SANS VISAGE Henning Mankell / Книга С меки корици
common.buy 15.60 € 30.50 лв
Malvadita Keselman / Аудиокнига MP3
common.buy 4.23 € 8.27 лв
Os animais tem alma? ERNESTO BOZZANO / Книга С меки корици
common.buy 14.51 € 28.38 лв
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Книга С меки корици
common.buy 7.74 € 15.14 лв
Batman - Svět Různí / Книга С твърди корици
common.buy 20.76 € 40.61 лв
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Книга С твърди корици
common.buy 66.89 € 130.83 лв
Подготвяме
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Книга Книга
common.buy 90.65 € 177.30 лв
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Книга С меки корици
common.buy 47.05 € 92.03 лв
Feelgood-Management Ulrike Weber / Книга С меки корици
common.buy 15.13 € 29.59 лв
Lehrer sein! Johannes Baumann / Книга С меки корици
common.buy 25.00 € 48.89 лв
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Книга С меки корици
common.buy 63.79 € 124.77 лв

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Ahmed Bouajjani, David Monniaux
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 560
Баркод 9783319522333
ISBN 3319522337
Код Либристо 15560990
Издателство Springer International Publishing AG
Тегло 8657
Размери 155 x 235 x 31

Категории

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Remaking China's Great Cities Sam Liang / Книга С твърди корици
common.buy 234.73 € 459.08 лв
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-книга Adobe ePub DRM
common.buy 250.64 € 490.20 лв
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Книга С твърди корици
common.buy 30.47 € 59.60 лв
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-книга Adobe ePub DRM
common.buy 52.53 € 102.74 лв
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Аудиокнига MP3
common.buy 8.78 € 17.17 лв
Season's of a Mother's Heart Sally Clarkson / Книга С меки корици
common.buy 12.13 € 23.73 лв
Подготвяме
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Книга С твърди корици
common.buy 171.96 € 336.33 лв
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Книга С меки корици
common.buy 9.40 € 18.38 лв
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Книга С меки корици
common.buy 19.11 € 37.37 лв
Technology, Modernity, and Democracy Eduardo Beira / Книга С твърди корици
common.buy 167.67 € 327.94 лв
Adventures of Hugh Jorgan Rock Harding / Книга С меки корици
common.buy 10.64 € 20.80 лв
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Книга С твърди корици
common.buy 37.76 € 73.85 лв
Red Earth Joel Canfield / Книга С меки корици
common.buy 20.24 € 39.59 лв
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Книга С меки корици
common.buy 59.81 € 116.99 лв
Top Изгодно
Peppa Pig: Hide and Peek Peppa Pig / Книга Дипляна
common.buy 5.63 € 11.00 лв
Damned If I Do, Dead If I Don't Hannah Bonde / Книга С меки корици
common.buy 18.33 € 35.86 лв
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Книга С меки корици
common.buy 22.05 € 43.13 лв
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Книга С меки корици
common.buy 19.31 € 37.78 лв
Unbounded Chronicles David Schneider / Книга С меки корици
common.buy 29.70 € 58.08 лв
Animals A-Z Trevor E Coward / Книга С меки корици
common.buy 16.53 € 32.32 лв

Вход

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

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

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

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

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