Abstraction, Refinement and Proof for Probabilistic Systems
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 978-0-387-27006-7
Item type | Current library | Home library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Acharya Institute of Technology | Acharya Institute of Technology | Available | EB200 |
There are no comments on this title.