Back TTU 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"

Zohar MANNA,
Computer Science Department Stanford University and Computer Science Department Weizmann Institute of Science

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

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

Bibliographic :

DESCRIPTION :

CONTENTS :

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


Back Top Changed 29/01/1997. Comments: monika@cs.ioc.ee