An Introduction to Discrete Mathematics and Formal System Specification
Ince, D. C.
ISBN 10: 0198596642 ISBN 13: 9780198596646
Published by Clarendon Press, 1990
Used
Soft cover
From
Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Heritage Bookseller
AbeBooks member since 1996
This specific item is no longer available.
About this Item
Description:
This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780198596646. Seller Inventory # 9210635
Synopsis:
This computer science textbook offers an introduction to the theory and practice of formal specification, defined as the use of discrete mathematics for describing the function of hardware and software systems. Formal specification plays a vital role, especially with regard to problem-free installation. Designed for students approaching the subject for the first time, this text develops all the required analytical and mathematical techniques. Numerous worked examples and exercises demonstrate actual software and computer systems. The book culminates with an introduction to "Z", a formal notation which is particularly useful for unambiguously specifying systems.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: An Introduction to Discrete Mathematics and ...
Publisher: Clarendon Press
Publication Date: 1990
Binding: Soft cover
Condition: Fair
Top Search Results from the AbeBooks Marketplace
Stock Image
An Introduction to Discrete Mathematics and Formal System Specification
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. Clean from markings 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,550grams, ISBN:9780198596646. Seller Inventory # 9566327
Buy Used
US$ 3.45
US$ 17.94 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
An Introduction to Discrete Mathematics and Formal System Specification (Applied Mathematics & Computing Science S.)
Published by
Oxford University Press, 1988
ISBN 10: 0198596642
ISBN 13: 9780198596646
Used
Paperback
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 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 # GOR004438632
Buy Used
US$ 3.85
US$ 7.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
An Introduction to Discrete Mathematics and Formal System Specification
Published by
Oxford University Press, Incorporated, 1988
ISBN 10: 0198596642
ISBN 13: 9780198596646
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 48735941-20
Buy Used
US$ 6.12
US$ 10.71 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
An Introduction to Discrete Mathematics and Formal System Specification (Oxford Applied Mathematics and Computing Science Series)
Published by
Oxford University Press, 1988
ISBN 10: 0198596642
ISBN 13: 9780198596646
Used
Softcover
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Seller Inventory # V06B-04053