> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Contributions to mechanical proofs of correctness for compiler front ends Beteiligte: Weber-Wulff, Debora [Verfasser:in] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9707 Umfang: 6, 186 S.; graph. Darst Sprache: Englisch Schlagwörter: Korrektheit > Übersetzerbau > Automatisches Beweisverfahren Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Diss., 1996 Anmerkungen: Weitere Bestandsnachweise 0 : Bericht