(9780521518147 / 32699709) - Dimensions: 251 x 193 x 37 mm - Height: 247 mm - Spine width: 38 mm - Width: 195 mm - Cambridge University Press - ISBN: 9780521518147 - Number of pages: 697 - Languages: English | Framework of graphical
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.
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 systematic approaches to diagnosing, preventing, and correcting maintenance errors with real‑world case studies, risk assessment tools, and actionable strategies for safer operations.
(9780521195331 / 29011151) - Country of publication: UNITED KINGDOM - Dimensions: (H) 262mm, (W) 188mm, (D) 34mm - Cambridge University Press - In Print - ISBN: 9780521195331 - Page count: 744 - Languages: English
(9780521195331 / 29011151) - Country of publication: UNITED KINGDOM - Dimensions: (H) 262mm, (W) 188mm, (D) 34mm - Cambridge University Press - In Print - ISBN: 9780521195331 - Page count: 744 - Languages: English
Bloomsbury Academic (9781350096783) | Emergence of Synthetic Reason
