Feedback

X
#1

keyword: formal logic – 39 free books.

All these books are free to read: either they're distributed with a free license, or they're in the public domain.

  • View As:
  • view list
  • view icon

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

AVAILABLE!
Book cover
Uli Sattler and Martin Suda, editors

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

AVAILABLE!
Book cover
Brigitte Pientka and Cesare Tinelli, editors

Computer Aided Verification

Constantin Enea and Akash Lal, editors

AVAILABLE!
Book cover
Constantin Enea and Akash Lal, editors

Computer Aided Verification

Constantin Enea and Akash Lal, editors

AVAILABLE!
Book cover
Constantin Enea and Akash Lal, editors

Computer Aided Verification

Constantin Enea and Akash Lal, editors

AVAILABLE!
Book cover
Constantin Enea and Akash Lal, editors

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

AVAILABLE!
Book cover
Sharon Shoham and Yakir Vizel, editors

Programming Languages and Systems

Ilya Sergey (editor)

AVAILABLE!
Book cover
Ilya Sergey (editor)

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

AVAILABLE!
Book cover
André Platzer and Geoff Sutcliffe, editors

Programming Languages and Systems

Nobuko Yoshida (editor)

AVAILABLE!
Book cover
Nobuko Yoshida (editor)
AVAILABLE!
Book cover

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

AVAILABLE!
Book cover
Esther Guerra and Mariëlle Stoelinga, editors

Foundations of Software Science and Computation Structures

Stefan Kiefer and Christine Tasson, editors

AVAILABLE!
Book cover
Stefan Kiefer and Christine Tasson, editors

Fundamental Approaches to Software Engineering

Alessandra Russo and Andy Schürr, editors

AVAILABLE!
Book cover
Alessandra Russo and Andy Schürr, editors