CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

authors Gries, David
year 1981
title The Science of programming
source xiii, 366 p. New York: Springer-Verlag, 1981. include bibliography: p. [355]- 357 and index. -- (Texts and Monographs in Computer Science)
summary Part 1 is an introduction to the propositional and predicate calculi. Part 2 defines a small language in terms of weakest preconditions. Part 3 is the heart of the book, where the reader is asked questions and is expected to answer. Not all answers are given
keywords programming, techniques
series CADline
references Content-type: text/plain
last changed 1999/02/12 14:08
HOMELOGIN (you are user _anon_183947 from group guest) Works Powered by SciX Open Publishing Services 1.002