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
Jump to: 1996
Number of items: 2.

1996

Kremer, Marion (1996)
Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele.
Book, Bibliographie

Kremer, Marion (1996)
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

This list was generated on Tue Mar 5 01:36:56 2024 CET.