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:
Online Access:Connect to the full text of this electronic book
Publisher description

Similar Items