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
SpringerLink DE
42.79 EUR
Preis aktualisiert am: 26-04-2026 16:07:50
Gesponsert
42.79 EUR
Preis aktualisiert am: 26-04-2026 21:56:17

Allgemein

Marke
Lahiri, Shuvendu K.

Eigenschaften

Menü