Items related to Formal Specification using Z (Grassroots, 4)
Synopsis
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.
Review
'[The first edition of] David Lightfoot's Formal Specification Using Z is...an ideal introduction to Z and its use.' - New Scientist
"About this title" may belong to another edition of this title.
- PublisherRed Globe Press
- Publication date2000
- ISBN 10 0333763270
- ISBN 13 9780333763278
- BindingPaperback
- LanguageEnglish
- Edition number2
- Number of pages176
Search results for Formal Specification using Z (Grassroots, 4)
Stock Image
Formal Specification using Z (Grassroots)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR001182436
Quantity: 2 available
Stock Image
Formal Specification using Z (Grassroots)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Fine. Seller Inventory # GOR010580307
Quantity: 1 available
Stock Image
Formal Specification using Z (Grassroots)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Seller Inventory # 7719-9780333763278
Quantity: 1 available
Stock Image
Formal Specification using Z (Grassroots, 4)
Seller: MusicMagpie, Stockport, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 1692275613. 8/17/2023 12:33:33 PM. Seller Inventory # U9780333763278
Quantity: 1 available
Seller Image
Formal Specification using Z (Grassroots)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Seller Inventory # wbb0023391439
Quantity: 1 available
Stock Image
Formal Specification using Z (Grassroots)
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 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
Quantity: 1 available
Stock Image
Formal Specification Using Z
Published by
Palgrave Macmillan Limited, 2000
ISBN 10: 0333763270
ISBN 13: 9780333763278
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 19052673-20
Quantity: 3 available
Stock Image
Formal Specification Using Z
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780333763278. Seller Inventory # 9405637
Quantity: 1 available
Stock Image
Formal Specification Using Z
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780333763278. Seller Inventory # 9100123
Quantity: 1 available
Stock Image
Formal Specification Using Z
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780333763278. Seller Inventory # 9100124
Quantity: 1 available