Feedback

X
#1

keyword: architecture verification and validation – 13 free books.

  • View As:
  • view list
  • view icon

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (editors)
No Faves
Read it Now

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (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

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

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

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