TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Book

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]

Ph.D. Thesis

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]

This list was generated on Sat Sep 24 05:07:38 2022 CEST.