Trusted SystemsRoderick Bloem
Trusted Systems
Roderick Bloem, Peter Lipp · 2013
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2013
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783319034911
Data source: Wikidata
More by Roderick Bloem
Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 ProceedingsRoderick Bloem

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings
Roderick Bloem · 2013
Software VerificationRoderick Bloem

Software Verification
Roderick Bloem · 2022
Hardware and Software : Verification and TestingRoderick Bloem

Hardware and Software : Verification and Testing
Roderick Bloem · 2016
Decidability of Parameterized VerificationRoderick Bloem
Decidability of Parameterized Verification
Roderick Bloem · 2015