Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel

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

53.49 EUR 9% Off 59.00 EUR

Marke: Springer Berlin Heidelberg

MPN: 7007743

ISBN: 9783540631668

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

53.49 EUR 59.00 EUR

07-11-2026 10:38:44

Access to the deal

-9%

53.49 EUR 59.00 EUR

06-11-2026 12:53:11

Access to the deal

59.00 EUR 59.00 EUR

06-11-2026 06:13:57

Access to the deal