Menu
Виж статуса на поръчката
Свържете се с нас
Книга Runtime Verification Axel Legay

Runtime Verification

4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Автор: Axel Legay, Saddek Bensalem
Език: Английски език
Корици: С меки корици
Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.77 € 103.22 лв
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verifi...

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

Автор
Axel Legay, Saddek Bensalem
Език
Английски език
Корици
Книга - С меки корици
Издадена
2013
страници
426
EAN
9783642407864
ISBN
3642407862
Enbook ID
02065171
Издател
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Теглоt
676
Размери
155 x 235 x 26

Пълно описание

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

Може също да ви хареса

Project Management

Jack R Meredith
312.65 € 611.50 лв

Critical Turning Points in the Middle East

Nayef R F Al Rodhan
59.30 € 115.97 лв

Ansty, Barnacle & Shilton Through Time

John Burton
16.60 € 32.47 лв

Theory and Interpretation of Magnetic Resonance Spectra

W. Dixon
52.77 € 103.22 лв

Scrambling for Africa

Johanna Tayloe Crane
160.54 € 313.99 лв

Atlas of Human Pluripotent Stem Cells in Culture

Lyn Healy
157.83 € 308.69 лв

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

Slovanský areál a Evropa

Václav Čermák
10.28 € 20.11 лв

Prozessorientierte Schreibdidaktik im Fremdsprachenunterricht

Nico Tobias Wirtz
43.94 € 85.95 лв

Oberstufe Religion - Jesus Christus

Gerhard Büttner
20.97 € 41.01 лв