000 00719 a2200277 4500
001 246007
020 _a3-540-64591-8
041 _aeng
080 _a681.3.06:51Mat:4:98
245 _aMathematics of program construction : 4th international conference proceedings, MPC, Marstrand, Sweden, June 15-17, 1998
250 _a
260 _aBerlin
260 _bSpringer
260 _c1998
300 _ax,383 p.
300 _c23 cm
490 _aLecture notes in computer science ; v.1422
700 _a
700 _aJeuring, Johan
700 _aJeuring, Johan
650 _a
650 _aComputer Science and Engineering
650 _aComputer programs-Mathematics-Congresses
942 _cBK
942 _2UDC
999 _c145522
_d145522