Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science (2404), Band 2404)
von:
Kim G. Larsen
·
Ed Brinksma
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-43997-4
ISBN-10: 3-540-43997-8
Springer
· 2008