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

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
47.19 EUR 47.19 EUR
08-08-2026 12:32:02