1. Home
  2. Media
  3. Books
  4. Logic in Computer Science: Modelling and Reasoning about Systems, Huth, Michael,
  • #
  • #

Logic in Computer Science: Modelling and Reasoning about Systems, Huth, Michael,

54.99 GBP

A concise guide to applying mathematical logic in computing, illustrating how propositional, predicate, and temporal logics underpin model checking, formal verification, and automated theorem proving with practical examples.

Share:
Sponsored

Logic in Computer Science : Modelling and Reasoning about Systems

WHSmith
54.99 GBP
21-04-2026 17:48:51

Related products

Topology via Logic: 5

Topology via Logic: 5

0.00 GBP
World Scientific Logic and Language Models for Computer Science

World Scientific Logic and Language Models for Computer Science

0.00
Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing

24.50 GBP
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings: 9160

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings: 9160

30.80 GBP

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

52.98 GBP
Donald Sannella Introduction to Computation

Donald Sannella Introduction to Computation

29.99 GBP
David Makinson Sets, Logic and Maths for Computing

David Makinson Sets, Logic and Maths for Computing

44.99 GBP
Learn Computer Science with Swift : Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds

Learn Computer Science with Swift : Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds

22.99 GBP