Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, Band 6418)
von:
Howard Barringer
·
Ylies Falcone
·
Bernd Finkbeiner
·
Klaus Havelund
·
Insup Lee
· Gordon Pace ·
Grigore Rosu
·
Oleg Sokolsky
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-16611-2
ISBN-10: 3-642-16611-3
Springer
· 2010