Feedback

X
#1

keyword: Model Checking – 31 free books.

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

  • View As:
  • view list
  • view icon

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, 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

Logic and Computation

Razvan Diaconescu (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Logic and Computation
Razvan Diaconescu (editor)
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

Mathematics in Software Reliability and Quality Assurance

Tadashi Dohi and Shaoying Liu, editors

More Info
AVAILABLE!
Read it Now
Book cover
Mathematics in Software Reliability and Quality Assurance
Tadashi Dohi and Shaoying Liu, editors
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

Agents and Robots for Reliable Engineered Autonomy

Rafael C. Cardoso et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Agents and Robots for Reliable Engineered Autonomy
Rafael C. Cardoso et al. (editors)
No Faves
Read it Now

Trustworthiness in Mobile Cyber Physical Systems

Kyungtae Kang et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Trustworthiness in Mobile Cyber Physical Systems
Kyungtae Kang et al. (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

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

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
Jan Friso Groote and Kim Guldstrand Larsen, editors
No Faves
Read it Now

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Amal Ahmed

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Amal Ahmed
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Dirk Beyer and Marieke Huisman, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Dirk Beyer and Marieke Huisman, editors
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