Logic in Computer Science: Modelling and Reasoning about Systems
ISBN-13:
9780521543101
ISBN-10:
052154310X
Edition:
2
Author:
Michael Huth
Publication date:
2004
Publisher:
Cambridge University Press
Format:
Paperback
440 pages
Category:
Computer Science
,
Programming Languages
FREE US shipping
on ALL non-marketplace orders
Rent
35 days
Due Aug 02, 2024
35 days
from $18.65
USD
Marketplace
from $51.53
USD
Marketplace offers
Seller
Condition
Note
Seller
Condition
Used - Good
Book details
ISBN-13:
9780521543101
ISBN-10:
052154310X
Edition:
2
Author:
Michael Huth
Publication date:
2004
Publisher:
Cambridge University Press
Format:
Paperback
440 pages
Category:
Computer Science
,
Programming Languages
Summary
Logic in Computer Science: Modelling and Reasoning about Systems (ISBN-13: 9780521543101 and ISBN-10: 052154310X), written by authors
Michael Huth, was published by Cambridge University Press in 2004.
With an overall rating of 4.3 stars, it's a notable title among other
Computer Science
(Programming Languages) books. You can easily purchase or rent Logic in Computer Science: Modelling and Reasoning about Systems (Paperback) from BooksRun,
along with many other new and used
Computer Science
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $1.46.
Description
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}