Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12224)

42.79 EUR 3% Off 43.99 EUR

Marke: Lahiri, Shuvendu K.

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

-3%

42.79 EUR 43.99 EUR

28-07-2026 05:44:02

Access to the deal

-3%

42.79 EUR 43.99 EUR

28-07-2026 01:40:50

Access to the deal

43.99 EUR 43.99 EUR

28-07-2026 20:09:59

Access to the deal