Programmentwicklung durch Spezifikation und Transformation Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) [Bd. 1]

Bibliographische Detailangaben

Körperschaft:	Universität Bremen Fachbereich Mathematik, Informatik (BerichterstatterIn)
Weitere Verfasser:	Krieg-Brückner, Bernd (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Bremen 1994
Schriftenreihe:	Informatik 1/94
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!