Page, Rex (Professor (Emeritus), Gamboa, Ruben (University of Wyoming)
Description
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
I have a question about the book:
'Essential Logic for Computer Science - Page, Rex (Professor (Emeritus), Gamboa, Ruben (University of Wyoming)'.
Fill in the form below.
We will respond as fast as possible.
We value your privacy
We use cookies to measure traffic, improve Boekstra and let Google tailor ads to your interests. You can keep using the site either way — even if you decline. More info
