Hostname: page-component-6bb9c88b65-kzqxb Total loading time: 0 Render date: 2025-07-28T01:28:31.578Z Has data issue: false hasContentIssue false

Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004

Published online by Cambridge University Press:  06 August 2004

Nimish Shah
Affiliation:
Durham University, UK
Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Information

Type
Book Review
Copyright
© 2004 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.