Tell your friends about this item:
Z: An Introduction to Formal Methods Diller, Antoni (University of Birmingham) 2nd edition
Z: An Introduction to Formal Methods
Diller, Antoni (University of Birmingham)
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.
394 pages, glossary
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 19, 1994 |
| ISBN13 | 9780471939733 |
| Publishers | John Wiley & Sons Inc |
| Pages | 400 |
| Dimensions | 244 × 172 × 21 mm · 635 g |