TU Darmstadt / ULB / TUbiblio

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Kremer, Marion :
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen.
Kovac , Hamburg
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1996
Autor(en): Kremer, Marion
Titel: Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen
Sprache: Deutsch
Ort: Hamburg
Verlag: Kovac
Edition: Hamburg: Kovac, 1996. 151 S.
Kollation: 151 S
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:54
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen