Feedback

X
#1

keyword: software verification – 3 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 Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, editors
No Faves
Read it Now

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 28
André Platzer and Geoff Sutcliffe, editors
No Faves
Read it Now

Deductive Verification of Object-oriented Software

Benjamin Weiß

More Info
AVAILABLE!
Read it Now
Book cover
Deductive Verification of Object-oriented Software
Benjamin Weiß
No Faves
Read it Now