Feedback

X
#1

keyword: Logics and Meanings of Programs – 2 free books.

  • View As:
  • view list
  • view icon

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

Programming Languages and Systems

Nobuko Yoshida (editor)

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