(Hardback)
By: Rex Page
ISBN: 9780262039185
Copied!
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.
This website uses cookies to provide you with a great user experience. By using our The Library Supply Company website you consent to all cookies in accordance with our Privacy Statement & Cookie Policy.