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.