{"product_id":"abstraction-refinement-and-proof-for-probabilistic-systems-von-annabelle-mciver-caroll-morgan-1","title":"Abstraction, Refinement and Proof for Probabilistic Systems","description":"\n                                \n                \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\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781441923127\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781441923127","offer_id":39415095033949,"sku":"9781441923127","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/d107783d-273f-4742-8ecd-8dc07eb07f0c.jpg?v=1778385992","url":"https:\/\/shop.autorenwelt.de\/en\/products\/abstraction-refinement-and-proof-for-probabilistic-systems-von-annabelle-mciver-caroll-morgan-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}