Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)

42.79 EUR 9% Off 47.19 EUR

Marke: Alexandra Silva

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

-9%

42.79 EUR 47.19 EUR

06-11-2026 05:26:33

Access to the deal

-9%

42.99 EUR 47.19 EUR

06-11-2026 22:34:45

Access to the deal

47.19 EUR 47.19 EUR

06-11-2026 06:33:28

Access to the deal