Z: An Introduction to Formal Methods
amazon.comBy Antoni Diller; John Wiley & Sons, 1994, ISBN 0471939730, 2nd edition. Thorough tutorial introduction to Z via standard notation, case studies to illustrate all aspects, practical exercises. [Amazon.com]
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.