Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science (4595), Band 4595)

Proceedings

von Dragan Bosnacki

Taschenbuch

ISBN-13: 978-3-540-73369-0

ISBN-10: 3-540-73369-8

Springer · 2007