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

Gespeichert in:

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!

Beschreibung
Beschreibung:	Förderkennzeichen BMFT/BMBF 01 IS 203 K5 (KORSO)
Beschreibung:	18 Bl graph. Darst