Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-21T22:26:55.394Z Has data issue: false hasContentIssue false

An Introduction to Formal Specification and Z by Ben Potter, Jane Sinclair and David Till, Prentice-Hall, 1991. - Z: An Introduction to Formal Methods (second edition) by Antoni Diller, John Wiley & Sons, 1994.

Review products

An Introduction to Formal Specification and Z by Ben Potter, Jane Sinclair and David Till, Prentice-Hall, 1991.

Z: An Introduction to Formal Methods (second edition) by Antoni Diller, John Wiley & Sons, 1994.

Published online by Cambridge University Press:  07 November 2008

Andrew D. Gordon
Affiliation:
Computer LaboratoryUniversity of Cambridge
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.'
Type
Book Review
Copyright
Copyright © Cambridge University Press 1996
Submit a response

Discussions

No Discussions have been published for this article.