Z: An Introduction to Formal Methods
Regular price
$58.61 USD
Regular price
Sale price
$58.61 USD
Unit price
per
Shipping calculated at checkout.
Couldn't load pickup availability
Secure Checkout
Quality Guaranteed
In Stock
About this book
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.
