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,

56.00 USD

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:

Related products

World Scientific Logic And Language Models For Computer Science

World Scientific Logic And Language Models For Computer Science

23.51 USD
World Scientific Logic and Language Models for Computer Science

World Scientific Logic and Language Models for Computer Science

46.00 USD
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

45.00 USD
Vitalsource Technologies, Inc. Temporal Logics In Computer Science

Vitalsource Technologies, Inc. Temporal Logics In Computer Science

133.00 USD
World Scientific Logic and Language Models for Computer Science

World Scientific Logic and Language Models for Computer Science

47.00 USD
Vitalsource Technologies, Inc. Fundamentals Of Logic And Computation

Vitalsource Technologies, Inc. Fundamentals Of Logic And Computation

64.99 USD
Vitalsource Technologies, Inc. Logical Design For Computers And Control

Vitalsource Technologies, Inc. Logical Design For Computers And Control

31.95 USD
Vitalsource Technologies, Inc. Logics for Computer Science: Classical and Non-Classical

Vitalsource Technologies, Inc. Logics for Computer Science: Classical and Non-Classical

119.00 USD