Logic in Computer Science: Modelling and Reasoning about Systems
by Michael Huth
- New
- Paperback
- Condition
- New
- ISBN 10
- 052154310X
- ISBN 13
- 9780521543101
- Seller
-
Southport, Merseyside, United Kingdom
5 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Paperback / softback. New. This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- The Saint Bookstore (GB)
- Bookseller's Inventory #
- A9780521543101
- Title
- Logic in Computer Science: Modelling and Reasoning about Systems
- Author
- Michael Huth
- Format/Binding
- Paperback / softback
- Book Condition
- New
- Quantity Available
- 5
- Binding
- Paperback
- ISBN 10
- 052154310X
- ISBN 13
- 9780521543101
- Publisher
- Cambridge University Press
- Place of Publication
- Cambridge, United Kingdom
- This edition first published
- August 30, 2004
Terms of Sale
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
About the Seller
The Saint Bookstore
Biblio member since 2018
Southport, Merseyside
About The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glossary
Some terminology that may be used in this description includes:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...