This text presents a language-based logic for procedures to derive computer programs from formal specifications. This approach is based upon design philosophy, and the author has set out to use language that is easy to understand. The method has also been class-tested throughout its development, and features examples, solved exercises and explanations.
Read More
This text presents a language-based logic for procedures to derive computer programs from formal specifications. This approach is based upon design philosophy, and the author has set out to use language that is easy to understand. The method has also been class-tested throughout its development, and features examples, solved exercises and explanations.
Read Less
Add this copy of Logical Derivation of Computer Programs to cart. $52.93, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1999 by Intellect Ltd.
