Abstraction, Refinement and Proof for Probabilistic Systems

Name: Abstraction, Refinement and Proof for Probabilistic Systems
Brand: Springer-Verlag New York Inc.
SKU: 9781441923127
Price: 12055.00 INR
Availability: InStock

by Charles Carroll Morgan, Annabelle McIver

Springer-Verlag New York Inc. · 2010 · Paperback

₹12,055

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Abstraction, Refinement and Proof for Probabilistic Systems is written by Charles Carroll Morgan & Annabelle McIver. This paperback edition from Springer-Verlag New York Inc. (2010) has 388 pages.

The book deals with Probabilities, Systems engineering, Engineering mathematics and Logic design.