FB 3
AG BKB
>
Publikationen
>
Suche
>
Deutsch
English
Suche nach Veröffentlichungen - Detailansicht
Art der Veröffentlichung:
Konferenz-Bericht
Herausgeber:
Berthold Hoffmann, Bernd Krieg-Brückner
Titel:
Program Development by Specification and Transformation
Band:
680
Serie / Reihe:
Lecture Notes in Computer Science
Erscheinungsjahr:
1993
Verleger:
Springer-Verlag, D-69121 Heidelberg, Germany
ISBN:
978-3-540-56733-2
Internet:
http://link.springer.com/book/10.1007/3-540-56733-X
Status:
Reviewed
Letzte Aktualisierung:
01. 12. 2016
Zurück zum Suchergebnis
Autor: Automatisch generierte Seite
AG BKB
Zuletzt geändert am: 9. Mai 2023