Compiler implementation verification through rigorous syntactical code inspection

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hoffmann, Ulrich (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kiel Univ. 1999
Schriftenreihe:	Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9814
Schlagworte:	Korrektheit > Übersetzerbau > Syntaktische Analyse > Implementierung > Verifikation > Compiler > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Zugl.: Kiel, Univ., Diss.. - Zsfassung in dt. Sprache
Beschreibung:	127 S. graph. Darst.