Cooperative Software Verification
Haltermann, Jan ; Wehrheim, Heike ; Strejček, Jan 2025 BIS der Universität Oldenburg
- Link zu diesem Datensatz
- https://d-nb.info/136635589X
- Titel
- Cooperative Software Verification
- Art des Inhalts
- Monographie
- Verfassangaben
- Jan Frederik Haltermann ; Heike Wehrheim, Jan Strejček
- Autor(en)
-
- Haltermann, Jan
- Wehrheim, Heike
- Strejček, Jan
- Verlag
- Oldenburg : BIS der Universität Oldenburg [2025]
- Jahr
- Erscheinungsdatum: 2025
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:gbv:715-oops-72698
- Sprache
- eng
- Schlagwörter
- Abweichende Titel
-
- Kooperative Softwareverifikation
- Stand
- 23.12.2025 13:20
- Im Katalog seit
- 07.03.2026