Z: An Introduction to Formal Methods. This item is unavailable.
9 ratings by Goodreads
Language: English
Published by Wiley, 1994
- Softcover
- Used
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
5-star seller
AbeBooks seller since March 9, 2023
Unavailable
Softcover
Condition: Used - Very good
US$ 13.90
Item description from seller
Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.
Seller Inventory # OTV.0471939730.VG
- Title
- Z: An Introduction to Formal Methods
- Author
- Diller, Antoni
- Publisher
- Wiley
- Publication year
- 1994
- Condition
- very_good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0471939730
- ISBN 13
- 9780471939733
- Edition
- 2nd Edition
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.
"Synopsis" may belong to another edition of this title.
About the Author
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
"About the title" may belong to another edition of this title.
Search results for Z: An Introduction to Formal Methods
There are 18 more copies of this bookView all results