Order Total (1 Item Items):
Shipping Destination:
Formal Specification Using by Lightfoot David (16 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (16)
- 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 (6)
- As New, Fine or Near Fine (1)
- 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 (16)
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 (3)
- Not Print on Demand (16)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
US$ 2.42
Convert currencyUS$ 5.90 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.)
Published by Palgrave Macmillan, United Kingdom, Basingstoke, 1991
ISBN 10: 0333544080 ISBN 13: 9780333544082
Language: English
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
US$ 3.32
Convert currencyUS$ 7.58 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketPaperback. 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 (Grassroots)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
US$ 3.90
Convert currencyUS$ 7.58 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Fine.
-
US$ 1.71
Convert currencyUS$ 11.17 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01.
-
Formal Specification using Z (Grassroots)
Published by Bloomsbury Publishing PLC, United Kingdom, 2000
ISBN 10: 0333763270 ISBN 13: 9780333763278
Language: English
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
US$ 7.78
Convert currencyUS$ 7.58 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketPaperback. 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.
-
Formal Specification Using Z
Published by Palgrave Macmillan Limited, 2000
ISBN 10: 0333763270 ISBN 13: 9780333763278
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
US$ 6.16
Convert currencyUS$ 10.83 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages.
-
Formal Specification Using Z
Published by Macmillan Publishers Limited, 1991
ISBN 10: 0333544080 ISBN 13: 9780333544082
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
US$ 6.16
Convert currencyUS$ 10.83 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Formal Specification Using Z
Published by Palgrave Macmillan Limited, 2000
ISBN 10: 0333763270 ISBN 13: 9780333763278
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
US$ 6.16
Convert currencyUS$ 10.83 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: 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.
-
Condition: New. pp. 176.
-
US$ 25.87
Convert currencyUS$ 8.80 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. pp. 176.
-
US$ 29.54
Convert currencyUS$ 11.64 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New. pp. 176.
-
US$ 45.31
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basket -
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal specification using Z.
Published by Macmillan, Basingstoke, 1993
ISBN 10: 0333544080 ISBN 13: 9780333544082
Language: English
Seller: Lost and Found Books, Healesville, VIC, Australia
Seller rating 5 out of 5 stars
US$ 27.27
Convert currencyUS$ 37.00 shipping from Australia to U.S.A.Quantity: 1 available
Add to baskettrade paperback. No Jacket. reprint. XII, 164 pages VG. Light shelf wear to covers, insect damage to lower corner of flyleaf, overall very good condition.
-
US$ 64.49
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basket
