Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA | Kaicus Deutschland

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)

53.49 EUR

Marke: Fabio Somenzi
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
53.49 EUR 53.49 EUR
13-05-2026 14:36:35