Ship model | Computer science books
Active Filters
Computer science books
(9780471380238 / 9780471380238)
No Starch Press,US (9781593276133 / illustrations) - Dimensions: 236 x 230 x 18 mm - Edition statement: 6th print. - Format: 192 pages - Height: 237 mm - Spine width: 19 mm - Width: 381 mm - No Starch Press
(9781118809990) - Adam Shostack - Paperback - JOHN WILEY (ORIGINAL) - Publication year: 2014
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.
Filters




