Lets Explore,
Books
Fiction
Non-Fiction
Teens & Ya
Kids
Exams
Medical Exams
Manga
Award Winners
Featured Authors
Today's Deal
Home
Cart
Wishlist
Menu
Roderick Bloem
Books by Author
Filter
Handbook of Model Checking
Thomas A. Henzinger
0.0
₹15679.0
₹9878.0
Hardware and Software: Verification and Testing
Roderick Bloem
0.0
₹5599.0
₹3583.0
Decidability of Parameterized Verification
Roderick Bloem
0.0
₹5039.0
₹3225.0
Software Verification
Natasha Sharygina
0.0
₹6159.0
₹3942.0
Handbook of Model Checking
Thomas A. Henzinger
0.0
₹15679.0
₹9878.0
Trusted Systems
Roderick Bloem
0.0
₹5599.0
₹3583.0
Computer Aided Verification
Roderick Bloem
0.0
₹11199.0
₹7055.0
Decidability of Parameterized Verification
Roderick Bloem
0.0
₹4345.0
₹3042.0
Computer Aided Verification
Roderick Bloem
0.0
₹4323.15
