Zum Inhalt springen Weber-Wulff, Debora [VerfasserIn] Contributions to mechanical proofs of correctness for compiler front ends Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 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
Weber-Wulff, Debora [VerfasserIn] Contributions to mechanical proofs of correctness for compiler front ends Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 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
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Weber-Wulff, Debora (1) Wert ausschließen zeige weitere weniger zeigen