direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern
Zitatschlüssel olaf03spezifikation
Autor Jan Olaf Blech
Jahr 2003
Monat Jan
Institution Universität Karlsruhe, Institut für Programmstrukturen und Datenorganisation
Typ der Publikation Term Project (Studienarbeit)
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe