Author : Annabelle McIver
Publisher : Springer Science & Business Media
Page : 412 pages
File Size : 25,6 MB
Release : 2005
Category : Computers
ISBN : 9780387401157
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.