Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science, Band 7687)
von:
Shaz Qadeer
· Serdar Tasiran
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-35631-5
ISBN-10: 3-642-35631-1
Springer
· 2013
