Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science (4590), Band 4590)
von
Werner Damm
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-73367-6
ISBN-10: 3-540-73367-1
Springer
· 2007
