R

Roderick Bloem

7 books found

Books by Roderick Bloem
Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 ProceedingsRoderick Bloem
⏱ 1h 43m

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings

Roderick Bloem

2013103 pp.
Computer Aided VerificationArmin Biere
⏱ 14h 54m

Computer Aided Verification

Armin Biere

2014894 pp.
Trusted SystemsRoderick Bloem

Trusted Systems

Roderick Bloem

2013No page data
Hardware and Software : Verification and TestingRoderick Bloem
⏱ 3h 47m

Hardware and Software : Verification and Testing

Roderick Bloem

2016227 pp.
Decidability of Parameterized VerificationRoderick Bloem

Decidability of Parameterized Verification

Roderick Bloem

2015No page data
Handbook of Model CheckingEdmund M. Clarke
⏱ 20h 10m

Handbook of Model Checking

Edmund M. Clarke

20171210 pp.
Software VerificationRoderick Bloem

Software Verification

Roderick Bloem

2022No page data