著者典拠情報

著者標目形：
Möller, Bernhard, 1953-
属性：
Personal
日付：
1953-
注記：
Formal program development, c1993: t.p. (Bernhard Möller) data sheet (b. 06-23-53) t.p. verso (Institut für Mathematik, Universität Augsburg, Augsburg, Germany)
著者典拠ID：
DA07897390


1.

図書
図書
1. Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
Bernhard Möller, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 947
所蔵情報: 図書館
2.

図書
図書
2. Formal program development : IFIP TC 2/WG 2.1 state of the art report (: gw ; : us)
Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 755
所蔵情報: 図書館