Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael- List Price: $69.99
- ISBN-10: 0541743104
- ISBN-13: 9780521543101
- Edition: 2nd
- Type: Paperback
- Publisher: Cambridge University Press
About The Book
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer... Read more
Related Books
- Year: 2007
- Edition: 1st
- Publisher: John Wiley & Sons
- Type: Paperback
- ISBN13: 9780470519233
- ISBN: 0470519231
$1434
The Art of Electronics
- Year: -0001
- Edition: 2nd
- Publisher: Cambridge University Press
- Type: Hardcover
- ISBN13: 9780521370950
- ISBN: 0521370957
$2540
Algorithm Design
- Year: 2010
- Edition: 1st
- Publisher: PEARSON INDIA
- Type: Paperback
- ISBN13: 9780321295354
- ISBN: 9332518645