Abstraction, Refinement and Proof for Probabilistic Systems (English, Annabelle McIver | Charles Carroll Morgan)
by Annabelle McIver | Charles Carroll Morgan
Delivery options
₹5,422-69%
MRP:₹17,395Save ₹11,973
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.
69% Off — you save ₹11,973 on this product!
Total: ₹5,422
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 ₹4538 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
🛒 Customers Also Bought
Moderne Enterprise Architekturen (English, Dieter Masak)
₹2,779
Grundriß Der Orthoptik (English, G. T. W. Cashell | W. Jaeger | S. Mattheus)
₹5,330
Repetitorium Theoretische Physik (English, Armin Wachter | K. Schilling | Henning Hoeber)
₹4,237
Funktionelle Insulintherapie (English, Kinga Howorka | M. Berger)
₹5,694
Lexikon Kennzahlen Für Marketing Und Vertrieb (English, Willy Schneider | Alexander Hennig)
₹4,601
Information Warfare and Organizational Decision-Making (Artech House Information Warfare Library) (English, Paperback, Alexander Kott)
₹5,427Related Products
Holzbau 2 (English, Gerhard Werner | Karl-Heinz Zimmer | Karl-Heinz Zimmer)
₹3,999
Die Grossglockner-Hochalpenstrasse (English, Franz Wallack)
₹3,508
Befundung Und Nomenklatur Bei Ultraschalluntersuchungen Innerer Organe (English, Deutsche Gesellschaft Für Ultraschall in | Österreichische Gesellschaft Für Ultrasc)
₹4,965
Leitfaden Zur Röntgendiagnostik (English, Hannelore Wagschal | Dieter Quilitz)
₹4,965
Vestibularisprüfung Und Vestibuläre Erkrankungen (English, Claus T. Haid)
₹3,508