Blackwell UK
Z.
An Introduction to Formal Methods
ISBN: 9780471939733
Format: Paperback
Publisher: John Wiley and Sons Ltd
Edition: 2nd edition
This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes. More
Rating: 
RRP £43.99
Availability:
Usually despatched within 3 to 9 days
Free UK postage
Reserve in-store:
Not currently stocked in Blackwell stores. Ask your local store to obtain this item for you.
Buy used: 20 new & used available from £3.19
Wishlist:
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.
