Reason | Computer science books

(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.

(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