{"product_id":"abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science-0387401156","title":"Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0387401156\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e McIver, Annabelle\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eThis book integrates coverage of random\/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51823846883616,"sku":"NEW0387401156","price":125.05,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/51vxEQdV2kL.jpg?v=1781203807","url":"https:\/\/miakarts.com\/products\/abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science-0387401156","provider":"Miakarts Books","version":"1.0","type":"link"}