Programmentwicklung durch Spezifikation und Transformation Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software)

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Krieg-Brückner, Bernd (HerausgeberIn)
Format:	UnknownFormat
Veröffentlicht:	Bremen Univ., Fachbereich Mathematik und Informatik 1994
Schriftenreihe:	Informatik 94,1
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!