Coordination Group Publications Ltd (CGP) (9781782943617) - CGP Books - Coordination Group Publications - Coordination Group Publications Ltd (CGP) - Dimensions: 295 x 210 x 5 mm - Height: 300 mm - Spine width: 6 mm | GCSE English
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.
(9781138583894) - Height: 153 mm - Spine width: 35 mm - Width: 232 mm - CRC Press - Taylor and Francis - ISBN: 9781138583894 - Number of pages: 368 - Languages: English - Weight: 582 g
(9781119513124) - Second edition - Sybex - Height: 188 mm - Spine width: 36 mm - Width: 234 mm - ISBN: 9781119513124 - Number of pages: 672 - Languages: English - Weight: 1160 g
(9780128124772 / 31891080) - Height: 194 mm - Spine width: 59 mm - Width: 237 mm - Morgan Kaufmann - Elsevier Science - ISBN: 9780128124772 - Number of pages: 526 - Languages: English - Weight: 1056 g
(9780198506928) - Height: 245 mm - Spine width: 30 mm - Width: 190 mm - Oxford University Press - OUP Oxford - ISBN: 9780198506928 - Number of pages: 648 - Languages: English - Publication date: 05 Aug 2010
Griffin (9781250127556) - Dimensions: 169 x 182 x 15mm | 198g - Format: 224 pages - Publication date: 01 Jun - ISBN: 9781250127556 - Languages: English - New York, United States | Zero Waste