Sale!

Abstraction Refinement And Proof For Probabilistic Systems

Name: Abstraction Refinement And Proof For Probabilistic Systems
SKU: 9780387401157
Price: 1800.00 INR
Availability: InStock

₹1,800.00

+ Free Shipping

Author : Mclver
Publisher : Springer
Publish Year : 2005
Subject : Computer Science

Availability: 1 in stock

SKU: 9780387401157 Category: Computer Science Tags: 2005, Mclver, Springer

Weight	750 kg

Reviews

There are no reviews yet.

Be the first to review “Abstraction Refinement And Proof For Probabilistic Systems”