Logic in Computer Science
Modelling and Reasoning about Systems




(2)
Like Logic in Computer Science?
Join aNobii to see if your friends read it, and discover similar books!
Book Description
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The covContinue
0 Review No reviews for this book yet
Book Details
-
Rating:




(2)
- English Books
- Paperback 440 Pages
- Edition: 2
- ISBN-10: 052154310X
- ISBN-13: 9780521543101
- Publisher: Cambridge University Press
- Pub date: Aug 30, 2004
- Dimensions: 1613 mm x 1097 mm x 129 mm Just how big is that?
- Also available as: Others
Prices Change currency & sellers
| ISBN | Edition | List | Sale | Seller |
|---|---|---|---|---|
| 9780521543101 | Paperback | $77.00 | $68.61 | bn.com |
| -- | $56.00 | ebooks.com | ||
| $82.00 | $51.10 | The Book Depository | ||
| Other editions → | ||||