Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science (1254), Band 1254)

Verification

von Orna Grumberg

Taschenbuch

ISBN-13: 978-3-540-63166-8

ISBN-10: 3-540-63166-6

Springer · 2008