TU Darmstadt / ULB / TUbiblio

Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele

Kremer, Marion:
Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele.
Techn. Hochschule, Darmstadt
[Buch], (1996)

Typ des Eintrags: Buch
Erschienen: 1996
Autor(en): Kremer, Marion
Titel: Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele
Sprache: Deutsch
Band: PI-R1/
Ort: Darmstadt
Verlag: Techn. Hochschule
Edition: Darmstadt: Techn. Hochschule, FB 20, FG Praktische Informatik, 1996
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:02
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen