Feedback

X
#1

keyword: software quality – 14 free books.

  • View As:
  • view list
  • view icon

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Sharon Shoham and Yakir Vizel, editors
No Faves
Read it Now

Programming Languages and Systems

Ilya Sergey (editor)

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

Fundamental Approaches to Software Engineering

Einar Broch Johnsen and Manuel Wimmer

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Einar Broch Johnsen and Manuel Wimmer
No Faves
Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors
No Faves
Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors
No Faves
Read it Now

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

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Programming Languages and Systems

Peter Müller

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Peter Müller
No Faves
Read it Now