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

$1999

Data Structures and Algorithm Analysis in C++ (3rd Edition)

Year: 2003
Edition: 3rd
Publisher: Pearson
Type: Hardcover
ISBN13: 9780321441461
ISBN: 032144146X

$443

Computer Architecture: A Quantitative Approach, 4th Edition

Year: -0001
Edition: 4th
Publisher: Morgan Kaufmann
Type: Paperback
ISBN13: 9780123704900
ISBN: 0123704901

$627

Operating System Concepts

Year: -0001
Edition: 8th
Publisher: Wiley
Type: Hardcover
ISBN13: 9780470128725
ISBN: 0470128720

Logic in Computer Science: Modelling and Reasoning about Systems

About The Book

Related Books

Data Structures and Algorithm Analysis in C++ (3rd Edition)

Computer Architecture: A Quantitative Approach, 4th Edition

Operating System Concepts

Sell Your Textbook

Our buyback partners are not buying this book at this time.

Your exchange listing has been submitted and will appear on the site shortly! Thanks for using SlugBooks and good luck selling the book. We will be sending you an email when or if a user is interested in buying your book!

Contact Student Seller

Discourse on Colonialism

What college do you go to?

Our textbook exchange only contains local listings posted by other students. In order to match you with nearby listings select your school.

Log onto Facebook and proceed!