[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Automated Technology for Verification and Analysis

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 164 b
127.96 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

TOP
Manolito Gafotas Elvira Lindo / С меки корици
common.buy 14.49 лв
Instructive Modern Chess Masterpieces Igor Stohl / С меки корици
common.buy 72.48 лв
ПОДГОТВЯМЕ
Habe ich denn allein gejubelt? Eva Sternheim-Peters / С твърди корици
common.buy 50.13 лв
Silver: The Spy Who Fooled the Nazis Mihir Bose / С твърди корици
common.buy 56.17 лв
Deep Black CD Collection: Deep Black, Biowar, Dark Zone Stephen Coonts / Аудио компактдиск
common.buy 36.24 лв
Becoming a Great Inclusive Educator Scot Danforth / С меки корици
common.buy 136.22 лв
Contemporary Legend / С меки корици
common.buy 146.08 лв
Frontiers of Combining Systems Carsten Lutz / С меки корици
common.buy 127.96 лв
High Weald, Royal Tunbridge Wells Ordnance Survey / Карта
common.buy 38.45 лв
Ladybird: of Love and Honor Samantha Livingston / С твърди корици
common.buy 76.61 лв
No Man's Sky R C Cline / С твърди корици
common.buy 82.55 лв
Organic Fertilizers Ghazala Yaqub / С твърди корици
common.buy 436.56 лв
ПОДГОТВЯМЕ
Domestication of the Savage Mind Jack Goody / С твърди корици
common.buy 80.54 лв
Marshall of Santa Fe Ralph Gatlin / С твърди корици
common.buy 71.48 лв
New and Experimental Approaches to Writing Lives Hugh Craig / С твърди корици
common.buy 291.98 лв

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.§

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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