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

Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Runtime Verification Ezio Bartocci
Код Либристо: 09493683
Издателство Springer International Publishing AG, август 2015
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Top Подготвяме
Essen und Trinken Anja Boretzki / Игра/играчка Игра
common.buy 18.90 € 36.96 лв
Octomes Pierre Raufast / Книга С меки корици
common.buy 26.35 € 51.54 лв
Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli / Книга С меки корици
common.buy 51.88 € 101.48 лв
Solfeggio-Frequenzen Andreas Kühnemann / Книга С меки корици
common.buy 20.09 € 39.29 лв
101 DIBUJOS ADORABLES DE GATOS MAYO / Книга Книга
common.buy 17.71 € 34.63 лв
Love And Longing Bill Carrothers / Аудио Аудио компактдиск
common.buy 19.88 € 38.88 лв
Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann / Книга С меки корици
common.buy 21.80 € 42.63 лв
Wilczek Ryrych Katarzyna / Книга С твърди корици
common.buy 5.23 € 10.22 лв
50 Piezas f?ciles para piano para principiantes Claudio Lupo / Книга С меки корици
common.buy 15.43 € 30.17 лв
IQ Eylem Öncel / Книга С меки корици
common.buy 12.89 € 25.21 лв
Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer / Книга С меки корици
common.buy 59.50 € 116.36 лв
sembrar sopa de verduras Lois Ehlert / Книга С меки корици
common.buy 8.44 € 16.50 лв
Night Holly Cole / Аудио Аудио компактдиск
common.buy 18.59 € 36.35 лв
Ca rime et ca swing chez Claudine Claudine Grenat / Книга С меки корици
common.buy 12.53 € 24.50 лв
Private Geschaftsbanken Andreas Menzen / Книга С меки корици
common.buy 9.68 € 18.93 лв
Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide / Аудио Аудио компактдиск
common.buy 11.49 € 22.48 лв
Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant / Книга С твърди корици
common.buy 193.47 € 378.39 лв
Blutsbruder Ernst Haffner / Книга С меки корици
common.buy 16.88 € 33.01 лв
Chen-Stil Taijiquan Urs Krebs / Книга С меки корици
common.buy 17.19 € 33.62 лв

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects. The first is to understand whether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in§performance monitoring, hardware design emulation and simulation, etc.

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

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

Пълно заглавие Runtime Verification
Автор Ezio Bartocci, Rupak Majumdar
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 432
Баркод 9783319238197
ISBN 3319238191
Код Либристо 09493683
Издателство Springer International Publishing AG
Тегло 6788
Размери 155 x 235 x 25

Категории

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Framework Houses Bernd Becher / Книга С твърди корици
common.buy 63.59 € 124.37 лв
Karl Blossfeldt Karl Blossfeldt / Книга С твърди корици
common.buy 28.58 € 55.90 лв
What Do Fishies Eat? Adam Peterson / Книга С меки корици
common.buy 12.16 € 23.79 лв
Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode / E-книга Adobe ePub DRM
common.buy 39.20 € 76.66 лв
Modern Bee-Keeping Herbert Mace / Книга С меки корици
common.buy 23.19 € 45.36 лв
3D Bioprinting Sai Mounika Muramulla / Книга С меки корици
common.buy 67.89 € 132.77 лв
Action Kadabra Authors and Dragons / Книга С меки корици
common.buy 6.73 € 13.16 лв
Chester B. Himes Lawrence P. Jackson / Книга С твърди корици
common.buy 30.19 € 59.04 лв
Birds Of The Southwest Pacific: A Field Guide To The Birds Of The Area Between Samoa, New Caledonia, And Micronesia Ernst Mayr / Книга С меки корици
common.buy 36.40 € 71.19 лв
John Paul II or the Saint of the youth Saint John Paul II / Книга С меки корици
common.buy 7.24 € 14.17 лв
You Can Search Me George V Hobart / Книга С меки корици
common.buy 7.66 € 14.98 лв
The Immortal Lover: The UnHoly Pursuit Saga Prequel A White / Книга С меки корици
common.buy 25.63 € 50.13 лв
Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright / Книга С меки корици
common.buy 6.73 € 13.16 лв
Top
The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai / Книга С меки корици
common.buy 29.56 € 57.82 лв
Two Easy Piano Sonatas no. 19 and no. 20 g minor and G major op. 49 no. 1 and no. 2 Ludwig van Beethoven / Книга С меки корици
common.buy 7.81 € 15.28 лв
The Warning James Patterson / Книга С меки корици
common.buy 22.00 € 43.04 лв
The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson / Книга С твърди корици
common.buy 51.57 € 100.87 лв
Dediu Newsletter Vol. 4, Nr. 3 (39), 6 February 2020: World Monthly Report News and Suggestions for Sustainable Peace, Freedom and Prosperity Michael M. Dediu / Книга С меки корици
common.buy 19.31 € 37.77 лв
CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview / Книга С меки корици
common.buy 37.38 € 73.12 лв
The Art of Public Speaking J. Berg Esenwein / Книга С меки корици
common.buy 13.10 € 25.61 лв
Top
The Rising of the Shield Hero, Volume 3 Aneko Yusagi / Книга С меки корици
common.buy 11.34 € 22.17 лв
Crown and the Shield D.S.Pais / Книга С меки корици
common.buy 7.35 € 14.37 лв
Ghost of the Executed Engineer Loren R. Graham / Книга С меки корици
common.buy 40.13 € 78.48 лв
Tender is the Night F Scott Fitzgerald / Книга С меки корици
common.buy 10.40 € 20.35 лв

Вход

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

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

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

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

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