Feedback

X
#1

keyword: formal logic – 16 free books.

  • View As:
  • view list
  • view icon

Foundations of Software Science and Computation Structures

Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)

AVAILABLE!
Book cover
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
AVAILABLE!
Book cover
AVAILABLE!
Book cover

Principles of Security and Trust

Lujo Bauer and Ralf Küsters

AVAILABLE!
Book cover
Lujo Bauer and Ralf Küsters