Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, Band 2725)
von:
Fabio Somenzi
· Jr. Hunt
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-40524-5
ISBN-10: 3-540-40524-0
Springer
· 2008