Abstraction, Refinement and Proof for Probabilistic Systems (Hardcover, 2005 ed.)

The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs; Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work; and Part III describes a very 'hot' research direction, temporal logic and model checking. Topics and features: - introduces readers to very up-to-date research in the mathematics of rigorous development of randomized (probabilistic) algorithms- illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm- presents results of a large and integrated body of research in the area of 'quantitative' program logics. An advanced research survey monograph, integrating three major topic areas.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Monographs in Computer Science
Release date:	November 2004
First published:	2005
Authors:	Annabelle McIver • Charles Carroll Morgan
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Hardcover
Pages:	388
Edition:	2005 ed.
ISBN-13:	978-0-387-40115-7
Categories:	Books > Computing & IT > Computer programming > Software engineering
LSN:	0-387-40115-6
Barcode:	9780387401157

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!