{"product_id":"abstraction-refinement-and-proof-for-annabelle-mciver-9781441923127","title":"Abstraction, Refinement and Proof for Probabilistic Systems","description":"\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\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Annabelle McIver,Charles Carroll Morgan\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1441923128\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781441923127\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 11\/19\/2010\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 388\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.24lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.83d","brand":"Annabelle McIver","offers":[{"title":"Paperback","offer_id":48995745726719,"sku":"9781441923127","price":169.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/www.whiterainbookhouse.com\/products\/abstraction-refinement-and-proof-for-annabelle-mciver-9781441923127","provider":"WR Book House","version":"1.0","type":"link"}