Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1005969787
Link zu diesem Datensatz | https://d-nb.info/1005969787 |
Titel | Korrekte Transformationsphase : der Kern korrekter Übersetzer / von Andreas Heberle |
Person(en) | Heberle, Andreas (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 2000 |
Umfang/Format | Online-Ressource (PDF) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Heberle, Andreas: Korrekte Transformationsphase |
Hochschulschrift | Karlsruhe, Univ., Diss., 2000 |
Persistent Identifier | URN: urn:nbn:de:swb:90-AAA21820001 |
URL | http://digbib.ubka.uni-karlsruhe.de/volltexte/2182000 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Deutsch (ger) |
Schlagwörter | Algorithmische Programmiersprache ; Formale Semantik ; Übersetzerbau ; Programmtransformation ; Korrektheit |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |