This book provides a complete tutorial on the Z notation. The introduction of case studies and exercises reinforces the informative and educational nature of the book.
Read More
This book provides a complete tutorial on the Z notation. The introduction of case studies and exercises reinforces the informative and educational nature of the book.
Read Less
Add this copy of Introduction Formal Specification and Z to cart. $3.88, fair condition, Sold by ThriftBooks-Baltimore rated 5.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1996 by Prentice Hall.