Wiley
Wiley.com
Print this page Share
Textbook

Z: An Introduction to Formal Methods, 2nd Edition

ISBN: 978-0-471-93973-3
Paperback
394 pages
July 1994, ©1994
US $129.95 Add to Cart

This price is valid for United States. Change location to view local pricing and availability.

Z: An Introduction to Formal Methods, 2nd Edition (0471939730) cover image
This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 2-3 days delivery time. The book is not returnable.

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.