|
Formal Specification Using Z
|
| Price: | CDN$ 49.36 & eligible for FREE Super Saver Shipping on orders over $39. Details |
Availability: Temporarily out of stock. Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your credit card will not be charged until we ship the item.
Ships from and sold by Amazon.ca
16 new or used available from CDN$ 23.09
Average customer review:
(1 )
Product Description
Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. This introductory work is intended for software engineers and students, and and builds each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.
Product Details
- Amazon Sales Rank: #1244218 in Books
- Published on: 2001-02
- Original language: English
- Dimensions: .77 pounds
- Binding: Paperback
- 2001 pages
Editorial Reviews
Review
'[The first edition of] David Lightfoot's Formal Specification Using Z is...an ideal introduction to Z and its use.' - New Scientist
About the Author
DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.
