Customers who viewed this item...

Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Michael Huth , Mark Ryan
Average Customer Review: 4.4 out of 5 stars  See all reviews (10)
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

Also viewed these items...

Show items from:
All Categories (60)
Books

Show items that:
Customers also bought
Customers also viewed

Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications)
Automata, Computability and Complexity: Theory and Applications
Introduction to the Theory of Computation
Introduction to the Theory of Computation Hardcover by Michael Sipser

Types and Programming Languages
Practical Foundations for Programming Languages
Discrete Mathematics with Applications
Types and Programming Languages Hardcover by Benjamin C. Pierce
Practical Foundations for Programming Languages Hardcover by Professor Robert Harper
Discrete Mathematics with Applications Hardcover by Susanna S. Epp

Principles of Model Checking
Introduction to Algorithms, 3rd Edition
A Mathematical Introduction to Logic, Second Edition
Principles of Model Checking Hardcover by Christel Baier
Introduction to Algorithms, 3rd Edition Hardcover by Thomas H. Cormen

  Previous More Results