Feedback

X
#1

keyword: software quality – 15 free books.

pdf These books are available in PDF format - good for desktops, printing.

  • View As:
  • view list
  • view icon

Fundamental Approaches to Software Engineering

Dirk Beyer and Ana Cavalcanti, editors

AVAILABLE!
Book cover
Dirk Beyer and Ana Cavalcanti, editors

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

AVAILABLE!
Book cover
Uli Sattler and Martin Suda, 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)

Fundamental Approaches to Software Engineering

Einar Broch Johnsen and Manuel Wimmer

AVAILABLE!
Book cover
Einar Broch Johnsen and Manuel Wimmer

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