00000cam a22000004a 4500 UP-99796217603100647 Buklod 20251114135156.0 ta 080209s1993 xx r |000 u|eng d 0201548860 (iLib)UPD-00000179284 DENG eng QA 76.6 M364 1993 Manna, Zohar The deductive foundations of computer programming a one-volume version of the logical basis for computer programming Zohar, Manna, Richard Waldinger. Reading, Mass. Addison-Wesley c1993. xiv, 717 p. Electronic digital computers Programming. Logic, Symbolic and mathematical. Waldinger, Richard. Book FO Monograph UPD DENG-II QA 76.6 M364 1993 Book