FB 3

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Buch
Herausgeber:	B. Hoffmann, B. Krieg-BrÃ¼ckner
Titel:	PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System
Serie / Reihe:	Lecture Notes in Computer Science
Ausgabe:	680
Erscheinungsjahr:	1993
Verleger:	Springer-Verlag, D-69121 Heidelberg, Germany
Status:	Reviewed
Letzte Aktualisierung:	28. 12. 2002

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023