SPESY e. interaktives System zur Unterstützung integrierter Programm-Spezifikation u. -Verifikation

Bibliographische Detailangaben

1. Verfasser:	Sommer, Walter (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Kaiserslautern 1984
Schriftenreihe:	Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht 102.
Schlagworte:	SPESY
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!