Feedback

X
#1

keyword: formal verification – 8 free books.

  • View As:
  • view list
  • view icon

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel and Marijn Heule, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel and Marijn Heule, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel and Marijn Heule, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
No Faves
Read it Now

Cyber Security of Critical Infrastructures

Leandros Maglaras et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Cyber Security of Critical Infrastructures
Leandros Maglaras et al. (editors)
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