1
/
of
1
Wiley
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Regular price
$128.95 AUD
Regular price
Sale price
$128.95 AUD
Quantity
Couldn't load pickup availability
Dispatch and delivery
Dispatch and delivery
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.
Authors: Antoni Diller
Format: Paperback
Pages: 400
ISBN-13: 9780471939733
Publication date: 19940503
Share
No reviews
