FB 3

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Technischer Bericht
Autor:	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer
Titel:	Universelle Entwicklungsumgebung fÃ¼r Formale Methoden (UniForM Workbench)
Ausgabe:	8/95 Informatik Bericht
Erscheinungsjahr:	1995
Institution:	Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen
Status:	Reviewed
Letzte Aktualisierung:	01. 11. 2004

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023