 |
Logic in Computer Science: Modelling and Reasoning about Systems
Michael Huth (Author), Mark Ryan (Author) Average Customer Review:   (2)
Available from these sellers.
Review
'This is an excellent textbook on logic and formal methods which is very suitable for computer science students… discusses the whole range from logic to applications: propositional and predicate logic, temporal logic and more generally model logic, program verification, model checking, and... Read More |
|
Show items from:
All Categories
(5)
Books Show items that:
Customers also bought
Customers also viewed
|
|
|||||||||||||||||||||||
