Menu
Află starea comenzii
Contactați-ne
Carte Runtime Verification Axel Legay

Runtime Verification

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

Autor: Axel Legay, Saddek Bensalem
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.48 lei
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verifi...

Informații despre carte

Autor
Axel Legay, Saddek Bensalem
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2013
Pagini
426
EAN
9783642407864
ISBN
3642407862
Enbook ID
02065171
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
676
Dimensiuni
155 x 235 x 26

Descriere completă

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.

S-ar putea să te intereseze

Project Management

Jack R Meredith
1 637.07 lei

Critical Turning Points in the Middle East

Nayef R F Al Rodhan
297.05 lei

Ansty, Barnacle & Shilton Through Time

John Burton
86.88 lei

Theory and Interpretation of Magnetic Resonance Spectra

W. Dixon
276.48 lei

Scrambling for Africa

Johanna Tayloe Crane
874.52 lei

Atlas of Human Pluripotent Stem Cells in Culture

Lyn Healy
826.44 lei

Clienții care au cumpărat această carte au mai cumpărat și

Slovanský areál a Evropa

Václav Čermák
50.99 lei

Prozessorientierte Schreibdidaktik im Fremdsprachenunterricht

Nico Tobias Wirtz
230.02 lei

Oberstufe Religion - Jesus Christus

Gerhard Büttner
109.76 lei