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

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Код Либристо: 02340914
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2014
This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Цялото описание
? points 132 b
54.08 €
105.77  лв
Външен склад Изпращаме след 5-8 дни

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

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

Okosystem Darm J. Müller / Книга С меки корици
common.buy 80.71 € 157.86 лв
Kants Terminus des Weltbürgertums. Ein infantiles Postulat oder eine realistische Idee? Sarah Jungnitz / Книга С меки корици
common.buy 9.61 € 18.79 лв
Au pays des fées Marlène Jobert / Книга С твърди корици
common.buy 11.82 € 23.12 лв
Je ne veux pas mourir idiot Georges Wolinski / Книга С меки корици
common.buy 12.59 € 24.63 лв
Educación emprendedora Masgrau Juanola / Книга С меки корици
common.buy 20.61 € 40.31 лв
Подготвяме
Das Assessorexamen im Öffentlichen Recht Michael Ronellenfitsch / Книга С меки корици
common.buy 40.56 € 79.33 лв
Hexen und Magie Johannes Dillinger / Книга С меки корици
common.buy 24.93 € 48.76 лв
No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Книга С меки корици
common.buy 20.10 € 39.31 лв
Giù nella valle Paolo Cognetti / Книга С твърди корици
common.buy 18.91 € 36.99 лв

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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
Автор Kenneth McMillan, Xavier Rival
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 493
Баркод 9783642540127
ISBN 3642540120
Код Либристо 02340914
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 7664
Размери 155 x 235 x 28

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Subnational Population Estimates David A. Swanson / Книга С твърди корици
common.buy 193.98 € 379.39 лв
Forest Management for Climate Change Mitigation Yixiang Wang / Книга С твърди корици
common.buy 323.18 € 632.08 лв
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Книга С меки корици
common.buy 19.22 € 37.60 лв
Tapping the Power of PowerPoint for Medical Posters and Presentations Anand J. Thakur / Книга С меки корици
common.buy 116.24 € 227.35 лв
Human Experiment David Carmichael / Книга С твърди корици
common.buy 191.51 € 374.56 лв
Living Under the Threat of Earthquakes Rameshwar Adhikari / Книга С меки корици
common.buy 215.52 € 421.52 лв
Top
History of Judaism Martin Goodman / Книга С меки корици
common.buy 18.91 € 36.99 лв
Follow Me Adult Colouring Book Esther Pincini / Книга С меки корици
common.buy 13.77 € 26.94 лв
A Way Out of the Trap: A Ten-Step Program for Spiritual Growth Nathan Rutstein / Книга С меки корици
common.buy 14.65 € 28.65 лв
Naturalizations of Mexican Americans John P Schmal / Книга С меки корици
common.buy 36.24 € 70.88 лв
New Directions in Wireless Communications Research Vahid Tarokh / Книга С твърди корици
common.buy 176.86 € 345.90 лв
Top
Atlas of Rectal Endosonography John Beynon / Книга С меки корици
common.buy 54.08 € 105.77 лв
Anecdotal Theory Jane Gallop / Книга С меки корици
common.buy 36.09 € 70.58 лв
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Книга С меки корици
common.buy 202.36 € 395.78 лв
Perfect Pet for Peyton Mr Rick Osborne / Книга С твърди корици
common.buy 14.18 € 27.74 лв
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Книга С меки корици
common.buy 183.23 € 358.37 лв
7 Spiritual Truths and the Lies That Hide Them Denise Burrows / Книга С меки корици
common.buy 19.27 € 37.70 лв

Вход

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

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

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

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

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