
Abstraction Refinement And Proof For Probabilistic Systems
₹2,995.00
50 in stock
Description
Abstraction Refinement And Proof For Probabilistic Systems
- ISBN No :- 9780387401157
- Publisher :->Sp Springer
- Author :- Mclver
- Year of Publication :-2005
- Binding Type :- Not Available
Highlight Related Book
Additional information
| Weight | 1 kg |
|---|



Reviews
There are no reviews yet.