-
Deutschland
Land International
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)
Gesponsert
Galaxus.de
42.79 EUR
Preis aktualisiert am: 29-10-2026 14:47:31
Gesponsert
Medimops DE
42.79 EUR
Preis aktualisiert am: 02-11-2026 20:53:56
Gesponsert
Hugendubel
42.99 EUR
Preis aktualisiert am: 29-10-2026 01:28:16
Gesponsert
SpringerLink DE
47.50 EUR
Preis aktualisiert am: 03-11-2026 17:52:53
Allgemein
Marke
Lahiri, Shuvendu K.
