
Tell your friends about this item:
Essential Logic for Computer Science - The MIT Press
Page, Rex (Professor (Emeritus), University of Oklahoma)
Essential Logic for Computer Science - The MIT Press
Page, Rex (Professor (Emeritus), University of Oklahoma)
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
304 pages, 81 b 162 Illustrations, unspecified
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | January 8, 2019 |
ISBN13 | 9780262039185 |
Publishers | MIT Press Ltd |
Pages | 304 |
Dimensions | 236 × 185 × 24 mm · 646 g |