Program development by specification and transformation
: the PROSPECTRA methodology, language family, and system / Berthold Hoffmann ; Bernd Krieg-Brückner (ed.). - Berlin : Springer, 1993. - XIV, 623 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 680)
ISBN 978-3-540-56733-2 / 3-540-56733-X kart. : DM 114.00
Literaturverz. S. 589 - 623
Quelle: DNB
Watt, David A.: Programmiersprachen
: Konzepte und Paradigmen / David A. Watt. Mit Beitr. von William Findlay und John Hughes. Dt. Bearb. von Berthold Hoffmann. [Der Übers.: Berthold Hoffmann]. - München : Hanser, 1996. - XVIII, 349 S. : graph. Darst.; 23 cm
ISBN 978-3-446-17992-9 / 3-446-17992-5 kart. : DM 58.00
Gemeinschaftsausg. mit Prentice Hall Internat., London. - Aus dem Engl. übers. - Literaturverz. S. 331 - 336
Quelle: DNB
