|
Textbook
Z: An Introduction to Formal Methods, 2nd EditionISBN: 978-0-471-93973-3
Paperback
400 pages
May 1994, ©1994
 |
||||||
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.
Related Titles
More By This Author
General Programming & Software Development
Resources for
Instructors
Contact a Wiley Sales Rep
Find Your Rep
.png){kind=small}
Join An E-mail ListLearn about the latest products, events, offers and content. |
