著者典拠情報

著者標目形：
Krieg-Brückner, B. (Bernd)
属性：
Personal
から見よ参照形：
Krieg-Brückner, Bernd
Brückner, B. Krieg- (Bernd Krieg-)
注記：
European Symp. on Programming (4th : 1992 : Rennes, France). ESOP '92, c1992: CIP t.p. (B. Krieg-Brückner) t.p. verso (Bernd Krieg-Brückner; Mathematik und Informatik, Universität Bremen)
著者典拠ID：
DA06190973


1.

図書
図書
1. Program development by specification and transformation : the PROSPECTRA methodology, language family, and system (: us ; : gw)
Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 680
所蔵情報: 図書館
2.

図書
図書
2. ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings (: Berlin ; : New York)
B. Krieg-Brückner (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 582
所蔵情報: 図書館