FB 3

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Technischer Bericht
Autor:	B. Krieg-BrÃ¼ckner (Hrsg.)
Titel:	Programmentwicklung durch Spezifikation und Transformation â€” Bremer BeitrÃ¤ge zum Verbundprojekt KORSO (Korrekte Software); Band 2
Ausgabe:	Informatik Bericht 10/94
Erscheinungsjahr:	1994
Institution:	Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen
Status:	Reviewed
Letzte Aktualisierung:	27. 12. 2002

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023