Z: An Introduction to Formal Methods

by Antoni Diller

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0471939730
• ISBN13: 9780471939733
• Release Date: July 1994
• Publisher: Wiley
• Length: 400 Pages
• Weight: 1.60 lbs.
• Dimensions: 0.8" x 6.6" x 9.7"

Customer Reviews

very clear - a good book on Z

If you want to learn a formal method, particularly Z, this is the book! Explanation is very clear.