Subject Area: CS Basics (Logics, Discrete Mathematics) in CIDEC Library.

THE DEDUCTIVE FOUNDATIONS OF COMPUTER PROGRAMMING
A One-Volume Version of
"The Logical Basis for Computer Programming"

Richard WALDINGER
Artificial Intelligence Center SRI International and Computer Science Department, Stanford University

Publisher : Addison-Wesley Publishing Co. - Reading, Mass.

Bibliographic :

• Hardcover
• ISBN: 0-201-54886-0
• © 1993
• xiv, 717 p. : ill. ; 24 cm.
• Dewey No.: 519.7 20

• Electronic digital computers -- Programming. * Logic, Symbolic and mathematical.

CONTENTS :

Condensed and simplified version of the original work.
Includes bibliographical references (p. [673]-677) and indexes.