000 00439nam a2200121Ia 4500
008 120911s9999 xx 000 0 und d
020 _a0201548860
082 _a519.7 MAN
245 _aThe deductive foundations of computer programming
260 _aADDISON-WESLEY
650 _aElectronic Digital Computers-Programming
999 _c17019
_d17019
952 _w2012-09-11
_p5081
_r2012-09-11
_40
_00
_bNU
_10
_o519.7 MAN
_d2012-09-11
_70
_yOS
_aNU