Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science (939), Band 939)
von
Pierre Wolper
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-60045-9
ISBN-10: 3-540-60045-0
Springer
· 2008