Title The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming / Zohar Manna, Richard Waldinger

Published Reading, Mass. : Addison-Wesley Pub. Co., [1993] ©1993

Copies

Location	Call no.	Vol.	Availability
MELB	519.7 Man/Dfo		AVAILABLE

Description xiv, 717 pages : illustrations ; 24 cm Analysis Logic programming Notes Condensed and simplified version of the original work Bibliography Includes bibliographical references (pages [673]-677) and indexes Subject Computer programming. Logic, Symbolic and mathematical. Author Manna, Zohar. Logical basis for computer programming Waldinger, Richard. LC no. 90001235 ISBN 0201548860

  Permalink