Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science (4144), Band 4144)
von:
Robert B. Jones
·
Thomas Ball
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-37406-0
ISBN-10: 3-540-37406-X
Springer
· 2008