Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science, 13964, Band 13964)

42.79 EUR 9% Off 47.19 EUR

Marke: Constantin Enea

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

09-11-2026 15:45:12

Access to the deal

-9%

42.99 EUR 47.19 EUR

07-11-2026 12:11:27

Access to the deal

47.19 EUR 47.19 EUR

09-11-2026 12:14:50

Access to the deal