Blättern nach Person
 | Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 2.
Deutsch
Kremer, Marion (1996)
Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele.
Buch, Bibliographie
Kremer, Marion (1996)
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen.
Technische Universität Darmstadt
Dissertation, Bibliographie
Drucken
Impressum