000			00751 a2200277 4500
001			246004
020			_a3-540-51305-1
041			_aeng
080			_a681.3.06:51Mat:89
245			_aMathematics of program construction : international conference proceedings, Groningen, The Netherlands, June 26-30, 1989
250			_a
260			_aBerlin
260			_bSpringer-Verlag
260			_c1989
300			_avi,421 p.
300			_c26 cm
490			_a
700			_a
700			_aSnepscheut, J.L.A. van de
700			_aSnepscheut, J.L.A. van de
650			_a
650			_aComputer Science and Engineering
650			_aComputer programs-Verification-Congresses , Computer programs-Mathematics-Congresses
942			_cBK
942			_2UDC
999			_c145519 _d145519