Browse by Person
 | Up a level |
Number of items: 2.
Kremer, Marion (1996):
Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele.
PI-R1/, Darmstadt: Techn. Hochschule, FB 20, FG Praktische Informatik, 1996, Darmstadt, Techn. Hochschule, [Book]
Kremer, Marion (1996):
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen.
Hamburg: Kovac, 1996. 151 S., Hamburg, Kovac, TU Darmstadt,
[Ph.D. Thesis]
Drucken
Impressum