Browse by Person

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

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

This list was generated on Tue Nov 28 00:39:16 2023 CET.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Export as	Atom RSS 1.0 RSS 2.0