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 specifications to actual program code and is enhanced to reflect the most current language standards.

• 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.