Z: An Introduction to Formal Methods

by Antoni Diller

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: June 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.