Menu
Află starea comenzii
Contactați-ne
Carte Runtime Verification Martin Leucker

Runtime Verification

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

Autor: Martin Leucker
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.44 lei
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on...

Informații despre carte

Autor
Martin Leucker
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2008
Pagini
189
EAN
9783540892465
ISBN
354089246X
Enbook ID
01570987
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
316
Dimensiuni
155 x 235 x 12

Descriere completă

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.

S-ar putea să te intereseze

Multimedia Data Mining and Analysis from Motion Contents

Yue Zhou
329.64 lei

Contextualizing English for Academic Purposes in Higher Education

Bee Bond
683.76 lei

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

Hssc

Rph Editorial Board
235.06 lei