000 00773 a2200277 4500
001 246010
020 _a3-540-22380-0
041 _aeng
080 _a681.3.06:51Mat:7:04
245 _aMathematics of program construction : 7th international conference proceedings, MPC, Stirling, Scotland, UK, July 12-14, 2004
250 _a
260 _aBerlin
260 _bSpringer
260 _c2004
300 _ax,400 p.
300 _c23.5 cm
490 _aLecture notes in computer science ; v.3125
700 _a-
700 _aKozen, Dexter
700 _aKozen, Dexter
650 _a-
650 _aComputer Science and Engineering
650 _aComputer programs-Mathematics-Congresses , Programming(Electronic computers)-Congresses
942 _cBK
942 _2UDC
999 _c145525
_d145525