-
Deutschland
Land International
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12225)
Gesponsert
Galaxus.de
42.79 EUR
Preis aktualisiert am: 29-10-2026 14:47:31
Gesponsert
Medimops DE
42.79 EUR
Preis aktualisiert am: 28-10-2026 15:31:12
Gesponsert
Hugendubel
42.99 EUR
Preis aktualisiert am: 29-10-2026 08:38:17
Gesponsert
SpringerLink DE
47.50 EUR
Preis aktualisiert am: 28-10-2026 06:14:07
Allgemein
Marke
Lahiri, Shuvendu K.
