Abstraction, refinement and proof for probabilistic systems /

Bibliographic Details
Main Author:	McIver, Annabelle
Corporate Author:	SpringerLink (Online service)
Other Authors:	Morgan, Carroll, 1952-
Format:	eBook
Language:	English
Published:	New York : Springer, [2005]
Series:	Monographs in computer science.
Subjects:	Engineering mathematics. Probabilities. Systems engineering. Ingénierie des systèmes. Mathématiques de l'ingénieur. Probabilités. Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description

Description
Item Description:	Electronic resource.
Physical Description:	xix, 383 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages [345]-355) and indexes.
ISBN:	038727006X 9780387270067
DOI:	10.1007/b138392