Logic in Computer Science: Modelling and Reasoning about Systems
Explore formal logic foundations for computer science, covering propositional and predicate calculus, model checking, temporal logics, and automated reasoning techniques with clear examples and proofs.
From (1 Deals)55.00 GBP
View product
