The deductive foundations of computer programming
Subtitle: a one-volume version of The logical basis for computer programming
By: Zohar Manna, Richard Waldinger.
Contributors: Waldinger, Richard.; Manna, Zohar.
Publisher: Addison-Wesley Pub. Co.
Published: 1993
Place of publication: Reading, Mass
Language: eng
Number of pages: 717
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. [673]-677) and indexes.
Condensed and simplified version of the original work.