cam a22 u 4500 279862814 CHVBK 20201020194934.0 130818s1993 xxu|||||||||| 00 |eng d 0-201-54886-0 (IDSBB)000981299 (RERO)1870004 (NEBIS)005279646 SzZuIDS BS/BE A100 ger kids xxu xxc s1in rero 004 15 SK 130 rvk ST 120 rvk ST 230 rvk Manna Zohar The deductive foundations of computer programming Zohar Manna, Richard Waldinger Reading (Mass.) [etc.] Addison-Wesley Publ. Comp. [1993] © 1993 XIV, 717 S. 25 cm A one-volume version of "The logical basis for computer programming" Mathematische Logik idsbb Logische Programmierung idsbb Deduktion idsbb Logique mathématique (RERO)A021013613 rero Programmation (RERO)A021028018 rero Waldinger Richard BK020000 XK020000 XK020000 if SzZuIDS BS/BE RERO RE01046 RE01046 RE010460003 DIUF 1.6.1 TIB 4405 IDSBB A100 A100 100FM UBH Kt 6202 Akz: ba/uub-/k/219940 NEBIS E02 E02 E02MI ZM 1711 IDSBB 100 1- Manna Zohar IDSBB 700 1- Waldinger Richard RERO 100 1- Manna Zohar (IDREF)032798857 cre RERO 700 1- Waldinger Richard (IDREF)16018231X RERO 700 12 Manna Zohar The logical basis for computer programming NEBIS 700 1- Manna Zohar NEBIS 700 1- Waldinger Richard