Feedback

X
#1

keyword: program synthesis – 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

Programming Languages and Systems

Stephanie Weirich (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Stephanie Weirich (editor)
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
No Faves
Read it Now

Programming Languages and Systems

Stephanie Weirich

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Stephanie Weirich
No Faves
Read it Now