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

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

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

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

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

Rochefiere: Etudes Humaines Monteil-E / Книга С меки корици
common.buy 25.18 € 49.25 лв
Natya Shala / Книга С меки корици
common.buy 16.55 € 32.36 лв
The Boy From Nowhere Grigi Valandy / Книга С меки корици
common.buy 19.03 € 37.22 лв
Standard contre standards Gabrielle Beguin / Книга С меки корици
common.buy 24.77 € 48.45 лв
Derrière l'écran K.L. Blackmoore / Книга С меки корици
common.buy 12.46 € 24.37 лв
Churpfalzbaierisches Regierungsblatt Anonym / Книга С меки корици
common.buy 25.03 € 48.95 лв
Duanin Ruhu Eva De Vitray-Meyerovitch / Книга С меки корици
common.buy 10.75 € 21.03 лв
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Книга С меки корици
common.buy 17.11 € 33.47 лв
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Книга С меки корици
common.buy 48.61 € 95.08 лв
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Книга С меки корици
common.buy 12.82 € 25.08 лв
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Книга С меки корици
common.buy 17.22 € 33.68 лв
Baukosten Senken Ernst G. Brehmer / Книга С меки корици
common.buy 64.70 € 126.54 лв

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Cyrille Artho, Axel Legay, Doron Peled
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 530
Баркод 9783319465197
ISBN 3319465198
Код Либристо 13938039
Издателство Springer International Publishing AG
Тегло 8132
Размери 155 x 235 x 31

Категории

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

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

ONE EARTH SPINELLI EILEEN / Книга С твърди корици
common.buy 8.74 € 17.09 лв
DreamWork Kelly Wallace / Книга С меки корици
common.buy 9.93 € 19.41 лв
Treatise of Beneficiary Matters PAOLO SARPI / Книга С твърди корици
common.buy 34.44 € 67.36 лв
Milarepa and the Art of Discipleship I Sangharakshita / Книга С твърди корици
common.buy 33.72 € 65.95 лв
John Deere 6351T AR65349 Turbocharger Rebuild Guide and Shop Manual: Garrett Honeywell T04B26 409760-0001, 409760-9001, 409760-5001, 409760-1 Turbocha Brian Smothers / Книга С меки корици
common.buy 32.84 € 64.23 лв
My Baby Girls First Yearbook Dru L Murray / Книга С меки корици
common.buy 11.06 € 21.64 лв
Reassessing Foucault Colin Jones / Книга С меки корици
common.buy 61.75 € 120.77 лв
Call Diana Sautelle / Книга С меки корици
common.buy 25.49 € 49.86 лв
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Книга С меки корици
common.buy 41.48 € 81.12 лв
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Книга С меки корици
common.buy 14.79 € 28.92 лв
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Книга С меки корици
common.buy 22.75 € 44.50 лв
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Книга С меки корици
common.buy 17.48 € 34.18 лв
The Eye of the Virgin Frederick Ramsay / Книга С меки корици
common.buy 18.61 € 36.41 лв

Вход

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

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

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

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

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