000 00741 a2200277 4500
001 246005
020 _a3-540-56625-2
041 _aeng
080 _a681.3.06:51Mat:2:92
245 _aMathematics of program construction : 2nd international conference proceedings, Oxford, U.K., June 29-July 3, 1992
250 _a
260 _aBerlin
260 _bSpringer-Verlag
260 _c1993
300 _aviii,378 p.
300 _c23 cm
490 _aLecture notes in computer science ; v.669
700 _a
700 _aBird, R.S.
700 _aBird, R.S.
650 _a
650 _aComputer Science and Engineering
650 _aProgramming(Mathematics) , Computer programs-Mathematics-Congresses
942 _cBK
942 _2UDC
999 _c145520
_d145520