Monographs in Computer Science

McIver, Annabelle; Morgan, Charles Carroll

This 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.

Details

Published by: Springer

Publication Date: 2010-11-19

Format: Paperback

ISBN-13: 9781441923127

DOI: 10.1007/b138392

Dimensions: 235cm x155cm

Pages: 388