著者典拠情報

著者標目形：
International Conference on the Mathematics of Program Construction
属性：
Meeting
場所：
Groningen, Netherlands;Oxford;Kloster Irsee, Germany;Marstrand, Sweden;Ponte de Lima, Portugal
日付：
1989;1992;1995;1998;2000
から見よ参照形：
Conference on the Mathematics of Program Construction, International
Mathematics of Program Construction, International Conference
International Conference, MPC
MPC
からも見よ参照形：
Conference on Mathematics of Program Construction <DA03413470>
注記：
Mathematics of program construction, c1993: pref. (Second International Conference on the Mathematics of Program Construction, held at St Catherine's College, Oxford, 29 June-3 July 1992)
Mathematics of program construction, c1995: CIP t.p. (third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995)
Mathematics of program construction, c1989: CIP pref. (Conference on Mathematics of Program Construction, held in Groningen, June 26-30, 1989)
SRC:Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings, c1989: pref (Conference on Mathematics of Program Construction)によってSAFフィールドを追加
EDSRC:Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings, c1998: pref: (4th International Conference on Mathematics of Program Construction (MPC'98))
EDSRC:Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.)(Springer,c2000)
著者典拠ID：
DA11479612


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. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings (: gw ; : us)
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: 図書館
updating availability status information…