|    Login    |    Register

Filter Results

  • Large print only
  • Audiobooks only

Found 1 items


(Hardback)

By: Rex Page

ISBN: 9780262039185
Readership/Audience: Tertiary Education
Publication Date: Jan 2019
Publisher: MIT Press Ltd
See more...

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.