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: German
Number of items: 2.

German

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 Jan 21 00:21:07 2025 CET.
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung