{"product_id":"annabelle-mciver-abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science-9780387401157","title":"Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53813259501910,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/annabelle-mciver-abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science-9780387401157","provider":"momoxbooks","version":"1.0","type":"link"}