%0 Book %1 citeulike:12689630 %A McIver, Annabelle %A Morgan, Carroll %B Monographs in Computer Science %D 2005 %I Springer %K 68w01-algorithms-general 68q87-probability-in-computer-science %T Abstraction, Refinement and Proof for Probabilistic Systems %U http://www.worldcat.org/isbn/0387401156 %X Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm. %@ 0387401156

@book{citeulike:12689630, abstract = {{Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm.}}, added-at = {2017-06-29T07:13:07.000+0200}, author = {McIver, Annabelle and Morgan, Carroll}, biburl = {https://www.bibsonomy.org/bibtex/275f239fc63af608d354ad4a0812fce74/gdmcbain}, citeulike-article-id = {12689630}, citeulike-linkout-0 = {http://www.worldcat.org/isbn/0387401156}, citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN0387401156}, citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=0387401156\&index=books\&linkCode=qs}, citeulike-linkout-3 = {http://www.librarything.com/isbn/0387401156}, citeulike-linkout-4 = {http://www.worldcat.org/oclc/62881619}, comment = {(private-note)Holdings: pers. (U. Syd. Chancellor's Committee's book fair, 2013-09, 3.00 AUD)}, interhash = {8a5e9de79a6f16cb0bfc72ec7f122e6a}, intrahash = {75f239fc63af608d354ad4a0812fce74}, isbn = {0387401156}, keywords = {68w01-algorithms-general 68q87-probability-in-computer-science}, posted-at = {2013-10-04 04:30:33}, priority = {2}, publisher = {Springer}, series = {Monographs in Computer Science}, timestamp = {2020-02-10T01:16:58.000+0100}, title = {{Abstraction, Refinement and Proof for Probabilistic Systems}}, url = {http://www.worldcat.org/isbn/0387401156}, year = 2005 }