Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531, Band 531)

53.49 EUR 9% Off 59.00 EUR

Marke: Springer Berlin Heidelberg

MPN: 1

ISBN: 3540544771

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 09:56:56

Access to the deal

-9%

53.49 EUR 59.00 EUR

06-11-2026 12:53:06

Access to the deal

59.00 EUR 59.00 EUR

06-11-2026 06:13:55

Access to the deal