000 00365nam a2200133Ia 4500
001 6337
005 20261006003932.0
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
_97328
999 _c6337
_d6337