Tell your friends about this item:
Logic in Computer Science: Modelling and Reasoning about Systems Huth, Michael (Imperial College of Science, Technology and Medicine, London) 2 Revised edition
Price
R 1,534
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Oct 28 - Nov 9
Christmas presents can be returned until 31 January
Get notified about new Huth, Michael (Imperial College of Science, Technology and Medicine, London) releases
Our customers say:
Add to your iMusic wish list
Logic in Computer Science: Modelling and Reasoning about Systems
Huth, Michael (Imperial College of Science, Technology and Medicine, London)
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.
440 pages, 10 tables 400 exercises
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 26, 2004 |
| ISBN13 | 9780521543101 |
| Publishers | Cambridge University Press |
| Pages | 440 |
| Dimensions | 173 × 246 × 22 mm · 804 g |
| Language | English |
