zum Inhalt
Lehrgebiet Programmiersysteme
Direkt zu
Moodle
Prüfungsportal
Virtueller Studienplatz
Literaturrecherche
Lehrgebiet
Aktuelles
Profil
Personen
Kontakt
Forschung
Projekte
Publikationen
Lehre
Lehrveranstaltungen
Prüfungen
Lehrveranstaltungen
Prüfungen
FernUni
/
Fakultät MI
/
Programmiersysteme
/
Lehre
/
Abschlussarbeiten
/
Spezifikation der statischen S...
Masterarbeit
Spezifikation der statischen Semantik von C# in Refacola
Verfasser/in:
Frank Rogel
Betreuer/in:
Prof. Dr. Friedrich Steimann
Status:
abgeschlossen
Jahr:
2014
Download:
PDF
10.05.2024