Abstraction, Refinement and Proof for Probabilistic Systems (English, Annabelle McIver | Charles Carroll Morgan)

Name: Abstraction, Refinement and Proof for Probabilistic Systems (English, Annabelle McIver | Charles Carroll Morgan)
Brand: Annabelle McIver | Charles Carroll Morgan
SKU: isbn-9780387401157
Price: 17395 INR
Availability: InStock

by Annabelle McIver | Charles Carroll Morgan

Delivery options

₹17,395

Genuine Book · Tracked Delivery

Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

Quantity

Total: ₹17,395

Book Details

Publisher

Springer

Language

English

ISBN-13

9780387401157

ISBN-10

0387401156

Author

Annabelle McIver | Charles Carroll Morgan

About the Book

This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.

ISBN: 9780387401157

ISBN-13: 9780387401157

ISBN-10: 0387401156

Frequently Asked Questions

What is the price of Abstraction, Refinement and Proof for Probabilistic Systems?

Abstraction, Refinement and Proof for Probabilistic Systems starts from ₹17395 at GlowMirror. Available in Paperback.

Who is the author of Abstraction, Refinement and Proof for Probabilistic Systems?

Annabelle McIver | Charles Carroll Morgan is the author of Abstraction, Refinement and Proof for Probabilistic Systems. Browse more books by Annabelle McIver | Charles Carroll Morgan on GlowMirror.

Is Abstraction, Refinement and Proof for Probabilistic Systems available in Paperback and Hardcover?

Yes, Abstraction, Refinement and Proof for Probabilistic Systems is available in Paperback on GlowMirror. Select your preferred format on the product page.

Does GlowMirror offer free delivery for Abstraction, Refinement and Proof for Probabilistic Systems?

Yes, GlowMirror offers free delivery for Abstraction, Refinement and Proof for Probabilistic Systems across India. No minimum order value required.

Is Cash on Delivery available for Abstraction, Refinement and Proof for Probabilistic Systems?

Yes, Cash on Delivery (COD) is available for Abstraction, Refinement and Proof for Probabilistic Systems on GlowMirror. You can pay when your order is delivered.

Product ID: isbn-9780387401157