Komponenten des interaktiven systems spesy zur unterstuetzung integrierter programm-spezifikation und -verifikation

Bibliographische Detailangaben

1. Verfasser:	Sommer, W. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1984
Schriftenreihe:	Memos / SEKI-PROJEKT MEMO SEKI-84-02-I
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!