Order Total (1 Item Items):
Shipping Destination:
Formal Specification Using by Lightfoot David (13 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (13)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (4)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (9)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (13)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (13)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
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.
-
Formal Specification Using Z (Computer Science S.)
Language: English
Published by Palgrave Macmillan, United Kingdom, Basingstoke, 1991
ISBN 10: 0333544080 ISBN 13: 9780333544082
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. This book aims to help readers learn about formal specification using the Z language. The author argues that formal specification offers benefits to the developers of computer systems and that it will make a contribution towards improving their quality. The book is primarily aimed at those who are not as familiar with mathematics as the mathematician and in this respect certain aspects of the explanations have been kept more informal and given less emphasis than others. The chapters of this book contain explanations of the mathematics of Z, interleaved with the development of an example specification. The chapters covering mathematics finish with a summary of the notion introduced in the chapter and a set of exercises. Sample solutions to selected exercises are included in the appendix. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Formal Specification Using Z
Language: English
Published by Palgrave Macmillan Limited, 2000
ISBN 10: 0333763270 ISBN 13: 9780333763278
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 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.
-
Formal Specification Using Z
Language: English
Published by Macmillan Publishers Limited, 1991
ISBN 10: 0333544080 ISBN 13: 9780333544082
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Specification Using Z
Language: English
Published by Palgrave Macmillan Limited, 2000
ISBN 10: 0333763270 ISBN 13: 9780333763278
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Specification using Z (Grassroots)
Language: English
Published by Bloomsbury Publishing PLC, United Kingdom, 2000
ISBN 10: 0333763270 ISBN 13: 9780333763278
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
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. .
-
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.
-
Condition: New. pp. 176.
-
Condition: New. pp. 176.
-
Formal specification using Z.
Language: English
Published by Macmillan, Basingstoke, 1993
ISBN 10: 0333544080 ISBN 13: 9780333544082
Seller: Lost and Found Books, Healesville, VIC, Australia
Seller rating 5 out of 5 stars
trade paperback. No Jacket. reprint. XII, 164 pages VG. Light shelf wear to covers, insect damage to lower corner of flyleaf, overall very good condition.
-
Condition: New. pp. 176.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
