
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9783032325198
- Erscheinungsdatum:23. Juli 2026
- Herausgeber:Springer Nature Switzerland
- Imprint:Springer
- Dateiformat:EPUB3
- Dateigröße:52.48 MB
- Downloadoptionen:EPUB3 (Adobe DRM)



