000 00476nam a2200157Ia 4500
008 230310s9999 xx 000 0 und d
020 _a978-3-540-70594-9
040 _cIITB
041 _aeng
100 _aAudebaud, Philippe
_940126
245 0 _aMathematics of program construction (e-book)
260 _aBerlin
_bSpringer
_c2008
440 _aLecture Notes in Computer Science (LNCS)
_vv.5133
_922935
856 _uhttps://doi.org/10.1007/978-3-540-70594-9
942 _cEB
999 _c289121
_d289121