Feedback

X
#1

keyword: logic and verification – 4 free books.

doab These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.

  • View As:
  • view list
  • view icon

Automated Reasoning

Christoph Benzmüller et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Christoph Benzmüller et al. (editors)
No Faves
Read it Now

Automated Reasoning

Christoph Benzmüller et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Christoph Benzmüller et al. (editors)
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now