Traits for Correct-by-Construction Programming
Runge, Tobias ; Potanin, Alex ; Thüm, Thomas ; Schaefer, Ina 2022 Universität Ulm
- Link zu diesem Datensatz
-
https://d-nb.info/1309885303
- Titel
-
Traits for Correct-by-Construction Programming
- Art des Inhalts
- Monographie
- Verfassangaben
- Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
- Autor(en)
-
- Runge, Tobias
- Potanin, Alex
- Thüm, Thomas
- Schaefer, Ina
- Verlag
- Ulm : Universität Ulm [2022]
- Jahr
- Erscheinungsdatum: 2022
- Umfang/Format
- Online-Ressource
- DOI
- 10.18725/OPARU-51192
- Online
- https://doi.org/10.18725/OPARU-51192
- Sprache
- eng
- DDC-Klasse(n)
-
- Schlagwörter
-
- Stand
- 13.02.2026 17:04
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
