Detecting Unrealizable Bit Vector Program Synthesis Problems
Kamp, Marius ; Philippsen, Michael ; Keszöcze, Oliver 2024 FAU University Press
- Link zu diesem Datensatz
- https://d-nb.info/1354222458
- Titel
- Detecting Unrealizable Bit Vector Program Synthesis Problems
- Art des Inhalts
- Monographie
- Verfassangaben
- Marius Kamp ; Gutachter: Michael Philippsen, Oliver Keszöcze ; Betreuer: Michael Philippsen
- Autor(en)
-
- Kamp, Marius
- Philippsen, Michael
- Keszöcze, Oliver
- Organisation(en)
-
- FAU University Press ein Imprint der Universität Erlangen-Nürnberg (Universitätsbibliothek)
- Verlag
- Erlangen : FAU University Press [2024]
- Jahr
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- DOI
- 10.25593/978-3-96147-794-4
- Online
- https://doi.org/10.25593/978-3-96147-794-4
- Sprache
- eng
- Schlagwörter
- Abweichende Titel
-
- Erkennung unlösbarer Bitvektor-Programmsyntheseprobleme
- Stand
- 23.12.2025 13:02
- Im Katalog seit
- 07.03.2026