Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
By:
Antoni Diller (University of Birmingham) Imprint: John Wiley & Sons Inc Country of Publication: United States Edition: 2nd edition Dimensions:
Height: 247mm,
Width: 168mm,
Spine: 23mm
Weight: 680g ISBN:9780471939733 ISBN 10: 0471939730 Pages: 400 Publication Date:03 May 1994 Audience:
College/higher education
,
Professional and scholarly
,
Further / Higher Education
,
Undergraduate
Format:Paperback Publisher's Status: Active
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.