- Softcover
- Used
Seller: YESIBOOKSTORE, MIAMI, FL, U.S.A.YESIBOOKSTORE
3-star seller
AbeBooks seller since July 11, 2025
Softcover
Condition: Used - As new
US$ 60.81
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketItem description from seller
This item is printed on demand.
Seller Inventory # 0471939730-VB
- Title
- Z: An Introduction to Formal Methods
- Author
- Diller, Antoni
- Publisher
- Wiley
- Publication year
- 1994
- Condition
- As New
- Binding
- paperback
- 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.
Shipping rates within U.S.A.
| Item | 6 to 19 business days | 4 to 12 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 25.00 |
Payment methods
Store description
WELCOME TO MY BOOKSTORE! I OFFER A CAREFULLY SELECTED COLLECTION OF USED, VINTAGE, AND HARD-TO-FIND BOOKS ACROSS A VARIETY OF GENRES.
EVERY ITEM IS DESCRIBED HONESTLY AND SHIPPED PROMPTLY WITH CARE.
FAST,SECURE SHIPPING-TYPICALLY WITHIN 1 BUSINESS DAY
ACURATE DESCRIPTIONS-I AIM FOR TRANSPARENCY IN EVERY LISTING ...? QUESTIONS? I RESPOND QUICKLY AND POLITELY
I VALUE EACH CUSTOMER AND STRIVE TO MAKE EVERY PURCHASE SMOOTH AND SATISFYING.THANK YOU FOR SUPPORTING A SMALL, INDEPENDENT BOOKSELLER!
Specialty
PRINTED BOOKSSeller's business information
YESIBOOKSTORE
FL, U.S.A.