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

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

AED677.44
(0) Write a Review
SKU:
9781441923127
UPC:
9781441923127

Product Description

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

Other Details

ISBN:
9781441923127
Author:
Annabelle McIver
Publisher:
Springer-Verlag New York Inc.
Publisher Date:
Published:19 Nov 2010
Book Format:
Paperback

Related Products

Popular Trending Products