000 00732 a2200277 4500
001 246006
020 _a3-540-60117-1
041 _aeng
080 _a681.3.06:51Mat:3:95
245 _aMathematics of program construction : 3rd international conference proceedings, MPC, Kloster Irsee, Germany, July 17-21, 1995
250 _a
260 _aBerlin
260 _bSpringer
260 _c1995
300 _aviii,472 p.
300 _c23.5 cm
490 _aLecture notes in computer science ; v.947
700 _a
700 _aMoller, Bernhard
700 _aMoller, Bernhard
650 _a
650 _aComputer Science and Engineering
650 _aComputer programs-Mathematics-Congresses
942 _cBK
942 _2UDC
999 _c145521
_d145521