Z: an Introduction to Formal Methods, 2nd Edition
- Binding: Paperback
- Edition: 2
- Publisher: John Wiley & Sons
- Publish date: 07/01/1994
Description:
A thorough and comprehensive tutorial introduction to Z. The author uses case studies to vividly illustrate all aspects of Z. With practical exercises and clear descriptions and explanations throughout, this updated edition will be required reading for all students and software engineers learning Z.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Please Wait