Z: An Introduction to Formal Methods - Diller, Antoni (University of Birmingham) - Books - John Wiley & Sons Inc - 9780471939733 - July 19, 1994
In case cover and title do not match, the title is correct

Diller, Antoni (University of Birmingham)
Z: An Introduction to Formal Methods 2nd edition

Price
HK$ 1,304
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 27 - Aug 6
Get notified about new Diller, Antoni (University of Birmingham) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

394 pages, glossary

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 19, 1994
ISBN13 9780471939733
Publishers John Wiley & Sons Inc
Pages 400
Dimensions 244 × 172 × 21 mm   ·   635 g

More from the same publisher

See all of Diller, Antoni (University of Birmingham) ( e.g. Paperback Book )