Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science (3925), Band 3925)

von Antti Valmari Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-33102-5 ISBN-10: 3-540-33102-6 Springer · 2006