Z: An Introduction to Formal Methods

by

Write The First Customer Review

A thorough and comprehensive tutorial introduction to Z. The author uses case studies to vividly illustrate all aspects of Z. With practical exercises and clear descriptions and explanations throughout, this updated edition will be required reading for all students and software engineers learning Z.

Z: An Introduction to Formal Methods 1994, Wiley, Chichester, England

ISBN-13: 9780471939733

2nd edition

Trade paperback

Select
Z: An Introduction to Formal Methods 1990, Wiley, Chichester, England

ISBN-13: 9780471924890

Annotated

Trade paperback

Select