Abstraction, Refinement And Proof For Probabilistic Systems (Monographs In Computer Science) Hardcover

by Annabelle Mciver, Charles C. Morgan,(Author)
(0 reviews)

Inhouse product


Price
$103.18 /1
Quantity
(1 available)
Total Price

• Free Standard Shipping Transit in 8 – 14 Business Days

• Expedited Shipping Transit in 6 – 8 Business Days

Share

Reviews & Ratings

0 out of 5.0
(0 reviews)
There have been no reviews for this product yet.
Part of the Monographs in Computer Science series, this text provides a rigorous mathematical framework for system verification.

Additional Product Info :
ISBN 10 :
0387401156
ISBN 13 :
9780387401157
Publisher :
Springer
Language :
English
Dimensions :
6.25 x 1 x 9.25
Item Weight :
0.51 kg

Frequently Bought Products

Product Queries (0)

Login Or Registerto submit your questions to seller

Other Questions

No none asked to seller yet

All categories
Flash Sale
Todays Deal