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
$ 166.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

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

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

Mere med samme udgiver

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