{"product_id":"abstraction-refinement-and-proof-for-probabilistic-systems-9780387401157","title":"Abstraction, Refinement and Proof for Probabilistic Systems","description":"\u003cp\u003e • Author(s): Annabelle McIver | Charles Carroll Morgan\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e\u003cp\u003e\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":"Springer","offers":[{"title":"Hardcover","offer_id":47587696443543,"sku":"9780387401157","price":16520.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780387401157.webp?v=1774967110","url":"https:\/\/atlanticbooks.com\/products\/abstraction-refinement-and-proof-for-probabilistic-systems-9780387401157","provider":"Atlantic Books","version":"1.0","type":"link"}