Logic in Computer Science: Modelling and Reasoning about Systems

Discover how logical formalisms shape software correctness: this guide blends set theory, modal logic, and fixed‑point calculus to explain model che ...
Where to buy (1) Characteristics
Sponsored
Logic in Computer Science : Modelling and Reasoning about Systems
WHSmith
55.00 GBP
Price updated on: 29-05-2026 12:25:21
View product deal

General

Brand
Cambridge University Press
MPN
Cambridge University Press 12609080
ISBN
Cambridge University Press 9780521543101

Characteristics

Similar products

Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
View Product
World Scientific Logic and Language Models for Computer Science
World Scientific Logic and Language Models for Computer Science
View Product
Donald Sannella Introduction to Computation
Donald Sannella Introduction to Computation
View Product
Menu