Formal Specification Using Z
Language: English
Published by Palgrave Macmillan Limited, 2000
- Softcover
- Used
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
AbeBooks seller since October 13, 2008
Condition: Used - Good
US$ 6.22
Quantity: 1 available
Add to basketItem description from seller
Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller Inventory # 53398710-20
- Title
- Formal Specification Using Z
- Author
- Lightfoot, David
- Publisher
- Palgrave Macmillan Limited
- Publication year
- 2000
- Condition
- Good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0333763270
- ISBN 13
- 9780333763278
- Edition
- 2nd Edition
- Item weight
- 1.003 pounds
- Dimensions
- N/A
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.
Better World Books Ltd
Dunfermline, United Kingdom
AbeBooks seller since October 13, 2008
Shipping rates from United Kingdom to U.S.A.
| Item | 11 to 28 business days | 11 to 28 business days |
|---|---|---|
| First item | US$ 6.67 | US$ 6.67 |
Payment methods
Store description
Better World Books is the world’s leading socially conscious online bookseller and has sold over 100 million books. Each sale generates funds for global literacy. We offer low prices, fast shipping, and have a 100% money back guarantee.
Seller's business information
Better World Books LTD.
THIRD FLOOR, ONE LONDON SQUARE, CROSS LANES
GUILDFORD, United Kingdom GU1 1UN
Terms of sale
Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.
If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostly in used books, any extra components, such as CDs, DVDs, figurines, or access codes are not included.
Shipping terms
Please allow 1-2 business days for order fulfillment.