000 00733 a2200277 4500
001 245948
020 _a978-3-540-70593-2
041 _aeng
080 _a681.3.06:51Mat:9:08
245 _aMathematics of program construction : 9th international conference proceedings, MPC, Marseille, France, July 15-18, 2008
250 _a
260 _aBerlin
260 _bSpringer
260 _c2008
300 _ax,423 p.
300 _c23.5 cm
490 _aLecture notes in computer science ; v.5133
700 _a
700 _aAudebaud, Philippe
700 _aAudebaud, Philippe
650 _a
650 _aComputer Science and Engineering
650 _aComputer programs-Mathematics-Congresses
942 _cBK
942 _2UDC
999 _c145480
_d145480