Bücher nach ISBN
Berthold Hoffmann
B. Hoffmann
Springer Berlin Heidelberg
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System
978-3-540-56733-2
(3-540-56733-X)
1993
Bernd Krieg-Brückner
Berthold Hohmann