Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael- List Price: $65.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: -0001
- Edition: 6th
- Publisher: Pearson College Div
- Type: Hardcover
- ISBN13: 9780131497269
- ISBN: 013149726X
- Year: 2006
- Edition: 3rd
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780131499331
- ISBN: 0131499335
- Year: -0001
- Edition: 8th
- Publisher: Prentice Hall
- Type: Paperback
- ISBN13: 9780132130790
- ISBN: 0132130793