Reason | Programming and software development books
Active Filters
Programming and software development books
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.
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.
(9781107104228 / 47356159)
(9781107104228 / 47356159)
Filters