Feedback

X
#1

keyword: theory and algorithms for application domains – 2 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

Formal Methods

André Platzer et al. (editors)

AVAILABLE!
Book cover
André Platzer et al. (editors)

Formal Methods

André Platzer et al. (editors)

AVAILABLE!
Book cover
André Platzer et al. (editors)