Z 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 specifications to actual program code and is enhanced to reflect the most current language standards.Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
| SKU | Unavailable |
| ISBN 13 | 9780471939733 |
| ISBN 10 | 0471939730 |
| Title | Z |
| Author | Antoni Diller |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | John Wiley & Sons Inc |
| Year published | 1994-05-03 |
| Number of pages | 400 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |