Konstruktions- und Deduktionsmethoden für die formale Entwicklung von Software Abschlußbericht

Bibliographische Detailangaben

Weitere Verfasser:	Dold, A. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Ulm Abt. Künstliche Intelligenz, Univ. 1994
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!