Contributions to mechanical proofs of correctness for compiler front ends:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Weber-Wulff, Debora (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:German
Veröffentlicht: Kiel Inst. für Informatik und Praktische Mathematik 1997
Schriftenreihe:Bericht / Institut für Informatik und Praktische Mathematik <Kiel> 9707
Schlagworte:
Beschreibung:186 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!