Buy books written by Roderick Bloem Available at Bookswagon
Roderick Bloem

Roderick Bloem

8 results found
List viewGrid view
Sort By:
1.
Software Verification
No Review Yet
AED261
Binding:
Paperback
Release:
22 Feb 2022
Language:
English
International Edition
Ships within 14-16 Days Explain..
2.
Trusted Systems
Publisher: Springer
No Review Yet
AED236
Binding:
Paperback
Release:
11 Nov 2013
Language:
English
International Edition
Ships within 14-16 Days Explain..
3.
Computer Aided Verification
Publisher: Springer
No Review Yet
AED469
Binding:
Paperback
Release:
04 Aug 2014
Language:
English
International Edition
Ships within 14-16 Days Explain..
4.
Decidability of Parameterized Verification
No Review Yet
AED220
Binding:
Paperback
Release:
29 Sep 2015
Language:
English
International Edition
Ships within 14-16 Days Explain..
5.
Handbook of Model Checking
Out of Stock
Notify me when this book is in stockNotify Me
6.
Handbook of Model Checking
Publisher: Springer
No Review Yet
AED475
Binding:
Hardback
Release:
20 Mar 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Computer Aided Verification
No Review Yet
AED206
Binding:
Paperback
Release:
20 Jul 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found