Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science (5156), Band 5156)
von
Klaus Havelund
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-85113-4
ISBN-10: 3-540-85113-5
Springer
· 2008
