000 00703 a2200277 4500
001 222196
020 _a3-540-35631-2
041 _aeng
080 _a681.3.06:51Mat:8:06
245 _aMathematics of program construction : 8th international conference proceedings, MPC, Kuressaare, Estonia, July 3-5, 2006
250 _a
260 _aBerlin
260 _bSpringer
260 _c2006
300 _ax,455 p.
300 _c23 cm
490 _aLecture notes in computer science ; v.4014
700 _a
700 _aUustalu, Tarmo
700 _aUustalu, Tarmo
650 _a
650 _aComputer Science
650 _aComputer programs-Mathematics-Congresses
942 _cBK
942 _2UDC
999 _c136455
_d136455