Search for Author All Reviews
	Kaldewaij, Anne     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Programming: the derivation of algorithms Kaldewaij A., Prentice-Hall, Inc., Upper Saddle River, NJ, 1990.  Type: Book (9780132041089) In the “calculational style” of programming that is currently being promoted by Feijen, Dijkstra, Gries, and others, algorithms are derived from formal specifications, leading to programs that are correct by constru...... Aug 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy