Berthold Hoffmann

B. Hoffmann

Springer Berlin Heidelberg

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System978-3-540-56733-2
(3-540-56733-X)
1993Bernd Krieg-Brückner

Berthold Hohmann