Verified Code Generation from Isabelle/HOL
Hupel, Lars ; Nipkow, Tobias ; Myreen, Magnus 2019 Universitätsbibliothek der TU München
- Link zu diesem Datensatz
-
https://d-nb.info/1191897230
- Titel
-
Verified Code Generation from Isabelle/HOL
- Art des Inhalts
- Monographie
- Verfassangaben
- Lars Hupel ; Gutachter: Tobias Nipkow, Magnus Myreen ; Betreuer: Tobias Nipkow
- Autor(en)
-
- Hupel, Lars
- Nipkow, Tobias
- Myreen, Magnus
- Verlag
- München : Universitätsbibliothek der TU München [2019]
- Jahr
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20190711-1473785-1-3
- Sprache
- eng
- Schlagwörter
-
- Abweichende Titel
-
- Verifizierte Code-Generierung aus Isabelle/HOL
- Stand
- 24.12.2025 07:13
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
