> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Compiler implementation verification through rigorous syntactical code inspection Beteiligte: Hoffmann, Ulrich [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1998 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9814 Umfang: 127 S.; graph. Darst Sprache: Englisch Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Diss. Anmerkungen: Weitere Bestandsnachweise 0 : Bericht