Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver - Hardback

Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver - Hardback

AED792.44
(0) Write a Review
SKU:
9780387401157
UPC:
9780387401157

Product Description

ISBN: 9780387401157
TITLE: Abstraction, Refinement and Proof for Probabilistic Systems
AUTHOR: Annabelle McIver
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 19 Nov 2004

Other Details

ISBN:
9780387401157
Author:
Annabelle McIver
Publisher:
Springer-Verlag New York Inc.
Publisher Date:
Published:19 Nov 2004
Book Format:
Hardback

Related Products

Popular Trending Products