Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Language: English
Published by Addison-Wesley, 1992
- Softcover
- Used
Seller: Zoom Books Company, Lynden, WA, U.S.A.Zoom Books Company
5-star seller
AbeBooks seller since December 19, 2022
Softcover
Condition: Used - Very good
US$ 8.30
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketItem description from seller
Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
Seller Inventory # ZBV.0201627574.VG
- Title
- Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
- Author
- Wordsworth, John
- Publisher
- Addison-Wesley
- Publication year
- 1992
- Condition
- very_good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0201627574
- ISBN 13
- 9780201627572
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
"Synopsis" may belong to another edition of this title.
Zoom Books Company
Lynden, WA, U.S.A.
5-star seller
AbeBooks seller since December 19, 2022
Shipping rates within U.S.A.
| Item | 4 to 8 business days | 2 to 6 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 4.99 |
Payment methods
Store description
Zoom Books Company operates as an online book store striving to provide top tier customer service. We respond to all inquiries and resolve any complaints in a timely manner. Thank you for shopping with us!
Specialty
Fiction/Non-Fiction, variesSeller's business information
Acirassi Books Ltd.
918 16th Ave NW, #25
Calgary, AB Canada T2M 0K3