Książka Runtime Verification Martin Leucker

Runtime Verification

8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
214.22
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2008
strony
189
EAN
9783540892465
ISBN
354089246X
Enbook ID
01570987
Waga
316
Wymiary
155 x 235 x 12

Pełny opis

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008.§The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Hssc

Rph Editorial Board
182.32