著者典拠情報

著者標目形：
Conference on Mathematics of Program Construction
属性：
Meeting
場所：
Groningen, Netherlands;Oxford, U.K.;Kloster Irsee, Germany;Marstrand, Sweden
日付：
1989
から見よ参照形：
MPC
からも見よ参照形：
International Conference on the Mathematics of Program Construction <DA11479612>
注記：
Mathematics of program construction, c1989: CIP pref. (Conference on Mathematics of Program Construction, held in Groningen, 6/26-30/89)
Mathematics of program construction, c1993: pref. (2nd International Conference on the Mathematics of Program Construction, held at Catherine's College, Oxford, 29 June - 3 July, 1992)
EDSRC:Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings: pref (Conference on Mathematics of Program Construction)
著者典拠ID：
DA03413470


1.

図書
図書
1. Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Johan Jeuring (ed.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1422
所蔵情報: 図書館
2.

図書
図書
2. Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings (: gw ; : us)
J.L.A. van de Snepscheut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 375
所蔵情報: 図書館