Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings (Lecture Notes in Computer Science, Band 10012)

Verification

von: Yliès Falcone · César Sánchez

Taschenbuch

ISBN-13: 978-3-319-46981-2

ISBN-10: 3-319-46981-9

Springer · 2016

Siehe auch:
2016PaperbackRuntime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings