Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
von:
Saddek Bensalem
·
Doron A. Peled
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-04693-3
ISBN-10: 3-642-04693-2
Springer
· 2009