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