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

Automated Technology for Verification and Analysis

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Deepak D'Souza
Код Либристо: 18124989
Издателство Springer International Publishing AG, октомври 2017
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

Callia l'Ateniese Giovanni Marginesu / Книга С твърди корици
common.buy 71.01 € 138.88 лв
Foukni a rozsviť - Hurá, sněží! Maria Hoeck / Книга Дипляна
common.buy 15.10 € 29.53 лв
Heartburn Ursula Ga?l / Книга С меки корици
common.buy 12.05 € 23.56 лв
LA PIEGE - THE TRAP ICKE DAVID / Книга Книга
common.buy 29.94 € 58.56 лв
parfum des iles Borromees René Boylesve / Книга С твърди корици
common.buy 23.68 € 46.32 лв
Genetika pri neprawil'nom prikuse Punit Batra / Книга С меки корици
common.buy 33.92 € 66.35 лв
Aaltje Nieuw Nederlandsch Kookboek: Achtfiende Geheel Opnieuw Bewerkte Druk Van aaltje De Volmaakte En Zuinige Keukenmeid.... O. A. Corver / Книга С твърди корици
common.buy 31.60 € 61.80 лв
Colores MARTIN MARTINEZ / Книга С твърди корици
common.buy 4.60 € 8.99 лв
Možnosť ostrova Michel Houellebecq / Книга С твърди корици
common.buy 17.48 € 34.18 лв
Marin Perdu En Mer Jouanneau / Книга С меки корици
common.buy 19.39 € 37.92 лв
UE1 - Physiologie Gay-Queheillard / Книга С меки корици
common.buy 19.75 € 38.63 лв
Voytek Kurtyka - L'Art de la liberté Bernadette Mcdonald / Книга С твърди корици
common.buy 69.77 € 136.45 лв
PIXEL MATHS TERM S OBLIG PROF Jean-Pierre Bouvier / Книга С меки корици
common.buy 27.82 € 54.41 лв
Tchisso ou le révolté Ngako sebastien / Книга С меки корици
common.buy 14.84 € 29.02 лв
vagabundito Maira Leticia Rivera Pinto / Книга С меки корици
common.buy 8.53 € 16.68 лв
Sicilia Nel 1876 ... Libro Primo. (L. F. Condizioni Politiche E Amministrative. Libro Secondo. S. Sonnino. I Contadini.). Leopoldo Franchetti / Книга С меки корици
common.buy 26.89 € 52.59 лв
Die Prüfung elektrischer Maschinen Werner Nürnberg / Книга С меки корици
common.buy 411.08 € 804.00 лв

This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Deepak D'Souza, K. Narayan Kumar
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 482
Баркод 9783319681665
ISBN 3319681664
Код Либристо 18124989
Издателство Springer International Publishing AG
Тегло 7548
Размери 155 x 235 x 30

Категории

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

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

Robin Hood-Freedom's Outlaw I a Watson / Книга С меки корици
common.buy 16.65 € 32.56 лв
Bleacher Report KING KENNA / Книга С меки корици
common.buy 15.05 € 29.43 лв
Delorme Atlas & Gazetteer: Alabama / Печатни материали Карта
common.buy 22.55 € 44.10 лв
Hebrew Psalter William Digby Seymour / Книга С меки корици
common.buy 25.96 € 50.77 лв
The Sea-Brownie Reader, Part 2: For Second-Year Classes (1911) John Walter Davis / Книга С меки корици
common.buy 30.72 € 60.08 лв
Fastitocalon. Studies in Fantasticism Ancient to Modern (VIII, 1 & 2) Lukasz Neubauer / Книга С меки корици
common.buy 28.49 € 55.73 лв
Township Violence and the End of Apartheid Gary Kynoch / Книга С твърди корици
common.buy 131.63 € 257.44 лв
Ars Rhetorica; or, a Compendium of Rhetoric T. B. / Книга С твърди корици
common.buy 29.73 € 58.16 лв
Baby Animals Coloring Book 3 Nick Snels / Книга С меки корици
common.buy 10.34 € 20.22 лв
Dr Chester's Spoken English for Chinese Speakers: Numbers Dr Myrvin F Chester / Книга С меки корици
common.buy 10.34 € 20.22 лв
Algernon Charles Swinburne Evangelista Maxwell / Книга С твърди корици
common.buy 153.35 € 299.92 лв
Menopause to Matrimony Shelly Hickman / Книга С меки корици
common.buy 9.41 € 18.40 лв
Every Place Is Holy Ground: When Religion Is Not Enough Richard Venus / Книга С меки корици
common.buy 14.79 € 28.92 лв
Soups & Sides for Every Season Alyce Morgan / Книга С меки корици
common.buy 16.65 € 32.56 лв
Carmen's Song Michael Harris / Книга С меки корици
common.buy 12.36 € 24.17 лв
Forestville Penny Hutten / Книга С меки корици
common.buy 22.13 € 43.29 лв
Warcraft Daniel Wallace / Книга С твърди корици
common.buy 36.51 € 71.41 лв
Smart Face Thomas Goodman / Книга С меки корици
common.buy 14.74 € 28.82 лв
Forbidden Music Michael Haas / Книга С меки корици
common.buy 23.48 € 45.92 лв
War and the City G. J. Ashworth / Книга С твърди корици
common.buy 276.55 € 540.88 лв
Negotiation of Personal Identity Meena Dhanda / Книга С меки корици
common.buy 82.13 € 160.63 лв
Autumn Susan M. Felch / Книга С меки корици
common.buy 14.27 € 27.91 лв
12 Principles to Wellness Eleanor R / Книга С меки корици
common.buy 9.93 € 19.41 лв
Four Girls and A Compact Annie Hamilton Donnell / Книга С меки корици
common.buy 11.79 € 23.05 лв

Вход

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

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

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

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

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