000 00555nam a2200205Ia 4500
001 95824
008 200505s9999 xx 000 0 und d
020 _a0-89871-164-9
040 _aEC-QuPUC
_bspa
082 0 4 _a005.1/M315l
100 1 _aManna, Zohar.
245 0 _aLectures on the logic of computer programming
260 _aFiladelfia, Estados Unidos
_bSIAM
_c1980
300 _a49 p.
_b
_c26 cm.
490 0 _a(5952) ; 31
504 _aBibliografía: p. 49
650 4 _aLOGICA MATEMATICA
650 4 _aPROGRAMACION (COMPUTACION)
999 _c27273
_d27273
942 0 0 _00