Computer Aided Verification

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

Gesponsert 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
Preis aktualisiert am: 22-05-2026 09:07:41
Siehe Produktangebot

Gesponsert Computer Aided Verification

42.79 EUR
Preis aktualisiert am: 22-05-2026 02:15:55
Siehe Produktangebot

Gesponsert Computer Aided Verification, Fachbücher

42.79 EUR
Preis aktualisiert am: 22-05-2026 04:01:37
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Lahiri, Shuvendu K.