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

PDF papers
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
pick and add to favorite papersHOMELOGIN (you are user _anon_962031 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002