Formal Specification using Z (Grassroots)
Language: English
Published by Palgrave 06/12/2000, 2000
- Softcover
- Used
Seller: Bahamut Media, Reading, United KingdomBahamut Media
AbeBooks seller since August 15, 2012
Condition: Used - Very good
US$ 5.90
Quantity: 1 available
Add to basketItem description from seller
Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Seller Inventory # 6545-9780333763278
- Title
- Formal Specification using Z (Grassroots)
- Author
- David Lightfoot
- Publisher
- Palgrave 06/12/2000
- Publication year
- 2000
- Condition
- Very Good
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0333763270
- ISBN 13
- 9780333763278
- Edition
- 2nd Edition
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.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building 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.
"Synopsis" may belong to another edition of this title.
About the Author
DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.
DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.
"About the title" may belong to another edition of this title.
Bahamut Media
Reading, United Kingdom
AbeBooks seller since August 15, 2012
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 28 business days | 14 to 28 business days |
|---|---|---|
| First item | US$ 3.32 | US$ 3.32 |
Payment methods
Seller's business information
WRAP Ltd
Unit 4, 119 Loverock Rd
Reading, United Kingdom RG30 1DZ
Terms of sale
We guarantee the condition of every book as it's described
on the Abebooks web sites. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond
within 2 business days.
Shipping terms
All books will normally be shipped within 1 working day of being ordered. We provide the best shipping rates we can to each country and you can rest assured that if you are not happy with anything you receive, you have a 100% money-back guarantee with us.