Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Lecture Notes in Computer Science, Band 8734)

von: Borzoo Bonakdarpour · Scott A. Smolka Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-319-11163-6 ISBN-10: 3-319-11163-9 Springer · 2014