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
FINDING THE BEST PRICES
Related Books
- Year: 2008
- Edition: 5th
- Publisher: McGraw-Hill
- Type: Unknown Binding
- ISBN13: 9780072957167
- ISBN: 0072957166
- Year: 2005
- Edition: 2nd
- Publisher: Addison-Wesley Professional
- Type: Paperback
- ISBN13: 9780321525949
- ISBN: 0321525949
- Year: 2010
- Edition: second edition
- Publisher: The MIT Press
- Type: Hardcover
- ISBN13: 9780262014335
- ISBN: 0262014335
