Springer
Abstraction, Refinement and Proof for Probabilistic Systems (English, Annabelle McIver | Charles Carroll Morgan)
₹1,900
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Book Specifications
| ISBN-13 | 9780387401157 |
| ISBN-10 | 0387401156 |
| Publisher | Springer |
| Category | Springer |
Frequently Asked Questions
What is the price of Abstraction, Refinement and Proof for Probabilistic Systems?
Abstraction, Refinement and Proof for Probabilistic Systems is available at ₹1,900 on BookShops.in.
Does BookShops.in offer free delivery for Abstraction, Refinement and Proof for Probabilistic Systems?
FREE delivery on all orders for Abstraction, Refinement and Proof for Probabilistic Systems.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Abstraction, Refinement and Proof for Probabilistic Systems?
BookShops.in offers a 15-day hassle-free return policy for Abstraction, Refinement and Proof for Probabilistic Systems. Contact us at [email protected] or call +91 81899 68108.
Is Abstraction, Refinement and Proof for Probabilistic Systems authentic?
Abstraction, Refinement and Proof for Probabilistic Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Springer
Kondensation. | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | S
₹3,508
de Gruyter
Ökonomische Theorie des Rechts (English, Christian Kirchner)
₹2,006
Springer Publishing Company
Eye Movement Desensitization and Reprocessing (EMDR)Therapy Scripted Protocols and Summary Sheets | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Maril
₹4,401
Quest Books,U.S.
Gnosticism | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Qu
₹1,331
Rowman & Littlefield Publishers
Stubborn Fact and Creative Advance | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowm
₹4,501
Springer
Historische Studien Und Skizzen Zu Natur- Und Heilwissenschaft | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | b
₹3,508
Related Products
View All
Springer
Ermittlung Der Billigsten Betriebskraft Für Fabriken | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst
₹5,829
Springer
Historische Studien Und Skizzen Zu Natur- Und Heilwissenschaft | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | b
₹3,508
Springer
Kondensation. | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | S
₹3,508
Springer
Die Wollspinnerei | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Mar
₹5,498
Springer
Die Wirtschaftliche Lage Von Kanada | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer
₹3,508
Springer
Gefahr Für Ökosysteme Und Wasserqualität | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Har
₹4,965