Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.99 € Пункт на Speedy 3.99 € ЕКОНТ 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday 4.49 € Sameday box 4.49 € Box Now 4.49 €
phone Контакт phoneКак се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Bernd Finkbeiner
Код Либристо: 09524362
Издателство Springer International Publishing AG, ноември 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Цялото описание
? points 125 b
51.27 €
100.28  лв
Външен склад Изпращаме след 5-8 дни

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

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

Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-книга Adobe ePub DRM
common.buy 6.88 € 13.46 лв
Bielenie Eva Pariláková / Книга С твърди корици
common.buy 5.49 € 10.74 лв
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études / Книга С меки корици
common.buy 24.97 € 48.83 лв
Beaucoup de bruit pour rien Shakespeare / Книга С меки корици
common.buy 5.70 € 11.14 лв
Passages de l'image Книга Книга
common.buy 45.67 € 89.33 лв
Dessiner les chevaux et les poneys Picavet / Книга С твърди корици
common.buy 23.01 € 45.01 лв
Tajomstvo reči tela Monika Stehlíková / Книга С твърди корици
common.buy 21.22 € 41.49 лв
Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Книга С меки корици
common.buy 21.07 € 41.21 лв
Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Книга С меки корици
common.buy 35.40 € 69.23 лв
Weihnachtsmann-Malbuch 1 Nick Snels / Книга С меки корици
common.buy 10.53 € 20.59 лв
Rainbow 01 Abe / Книга С меки корици
common.buy 14.38 € 28.13 лв
En busca del candidato de Manchuria Marks / Книга С меки корици
common.buy 27.69 € 54.16 лв
Nyx el Regulador 3, Ofidia Corbeyran / Книга С меки корици
common.buy 21.42 € 41.90 лв
Dialoge Stanislaw Lem / Книга С меки корици
common.buy 18.96 € 37.07 лв
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Книга С меки корици
common.buy 177.42 € 347.00 лв
Manolito Gafotas Elvira Lindo / Книга С меки корици
common.buy 9.14 € 17.88 лв

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 520
Баркод 9783319249520
ISBN 3319249525
Код Либристо 09524362
Издателство Springer International Publishing AG
Тегло 8015
Размери 155 x 235 x 30

Категории

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

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

Frontiers of Combining Systems Carsten Lutz / Книга С меки корици
common.buy 51.27 € 100.28 лв
Death of the USS Thresher Norman Polmar / E-книга Adobe ePub DRM
common.buy 21.68 € 42.40 лв
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Книга С меки корици
common.buy 36.12 € 70.64 лв
The Poets and Poetry of the Bible George Gilfillan / Книга С меки корици
common.buy 36.12 € 70.64 лв
Letter to the Right Honourable Charles Jenkinson John Almon / Книга С меки корици
common.buy 11.61 € 22.70 лв
FUNDAMENTALS JAMES CURNOW / Книга binding.
common.buy 31.44 € 61.49 лв
Bird Populations Ian Newton / E-книга Adobe ePub DRM
common.buy 58.88 € 115.16 лв
Demonic Jayson Veley / Книга С меки корици
common.buy 15.10 € 29.54 лв
Literary Channel Margaret Cohen / E-книга Adobe ePub DRM
common.buy 63.19 € 123.60 лв
Rethinking Hell Christopher M. Date / Книга С твърди корици
common.buy 55.13 € 107.82 лв
Eloise at the Wedding Margaret McNamara / Книга С твърди корици
common.buy 17.52 € 34.27 лв
Road Home Cathy Speaker / Книга С твърди корици
common.buy 29.39 € 57.47 лв
Little Blue Truck Leads the Way Alice Schertle / Книга С твърди корици
common.buy 16.08 € 31.45 лв
Ladybird: of Love and Honor Samantha Livingston / Книга С твърди корици
common.buy 35.19 € 68.83 лв
The Divine Comedy of Dante Alighieri James Innes Minchin / Книга С меки корици
common.buy 28.36 € 55.46 лв
China from a U.S. Policy Perspective Heikkila / Книга С меки корици
common.buy 66.17 € 129.43 лв
The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer / Книга С меки корици
common.buy 39.05 € 76.37 лв
Cones Visit the Children's Hospital Chris Madeley / Книга С меки корици
common.buy 11.92 € 23.30 лв
Advanced Python Development Matthew Wilkes / Книга С меки корици
common.buy 42.33 € 82.80 лв
Deep Learning for Beginners STEVEN COOPER / Книга С твърди корици
common.buy 21.37 € 41.80 лв
Forced Conversion Donald J Bingle / Книга С меки корици
common.buy 15.10 € 29.54 лв
Top
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Книга С меки корици
common.buy 16.08 € 31.45 лв
Theorizing Globalization Marko Ampuja / Книга С твърди корици
common.buy 252.23 € 493.32 лв
New and Experimental Approaches to Writing Lives Hugh Craig / Книга С твърди корици
common.buy 125.06 € 244.59 лв

Вход

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

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

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

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

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