Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Runtime Verification Axel Legay

Runtime Verification

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

Szerző: Axel Legay, Saddek Bensalem
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 223 Ft
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verifi...

Információk a könyvről

Szerző
Axel Legay, Saddek Bensalem
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
426
EAN
9783642407864
ISBN
3642407862
Enbook ID
02065171
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
676
Méretek
155 x 235 x 26

Teljes leírás

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.

Érdekelheti

Project Management

Jack R Meredith
113 280 Ft

Critical Turning Points in the Middle East

Nayef R F Al Rodhan
20 553 Ft

Ansty, Barnacle & Shilton Through Time

John Burton
5 862 Ft

Theory and Interpretation of Magnetic Resonance Spectra

W. Dixon
19 223 Ft

Scrambling for Africa

Johanna Tayloe Crane
60 361 Ft

Atlas of Human Pluripotent Stem Cells in Culture

Lyn Healy
57 446 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Slovanský areál a Evropa

Václav Čermák
3 442 Ft

Prozessorientierte Schreibdidaktik im Fremdsprachenunterricht

Nico Tobias Wirtz
16 040 Ft

Oberstufe Religion - Jesus Christus

Gerhard Büttner
7 643 Ft