Stock image for illustration purposes only - book cover, edition or condition may vary.
Description for Z.
Paperback. 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. Num Pages: 394 pages, glossary. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 172 x 244 x 21. Weight in Grams: 690.
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.
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.
Product Details
Format
Paperback
Publication date
1994
Publisher
John Wiley and Sons Ltd United Kingdom
Number of pages
394
Condition
New
Number of Pages
400
Place of Publication
New York, United States
ISBN
9780471939733
SKU
V9780471939733
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-50
About Antoni Diller
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
Reviews for Z.