Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer ... Notes in Computer Science (5289), Band 5289)
von
Martin Leucker
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-89246-5
ISBN-10: 3-540-89246-X
Springer
· 2008
