Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings (Lecture Notes in Computer Science (2057), Band 2057)
von
Matthew Dwyer
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-42124-5
ISBN-10: 3-540-42124-6
Springer
· 2008
