Feedback

X
#1

keyword: Model Checking – 25 free books.

  • View As:
  • view list
  • view icon

Mathematics in Software Reliability and Quality Assurance

Tadashi Dohi and Shaoying Liu, editors

AVAILABLE!
Book cover
Tadashi Dohi and Shaoying Liu, editors

Fundamental Approaches to Software Engineering

Einar Broch Johnsen and Manuel Wimmer

AVAILABLE!
Book cover
Einar Broch Johnsen and Manuel Wimmer

Agents and Robots for Reliable Engineered Autonomy

Rafael C. Cardoso et al. (editors)

AVAILABLE!
Book cover
Rafael C. Cardoso et al. (editors)

Trustworthiness in Mobile Cyber Physical Systems

Kyungtae Kang et al. (editors)

AVAILABLE!
Book cover
Kyungtae Kang et al. (editors)

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

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
AVAILABLE!
Book cover