<<Ein>> interaktives und syntaxorientiertes Eingabesystem für algebraische und algorithmische Spezifikationen

Kaiserslautern, Univ., Diplomarbeit, 1985 u.d.T.: Lichter, Horst: Ein interaktives und syntaxorientiertes Eingabesystem für algebraische und algorithmische Spezifikationen in der Spezifikationserstellungsumgebung SPESY

Bibliographische Detailangaben

1. Verfasser:	Lichter, Horst (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Kaiserslautern 1985
Schriftenreihe:	Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern 128
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!