BookShops.in
Abstraction, Refinement and Proof for Probabilistic Systems (English, Annabelle McIver | Charles Carroll Morgan)-69% OFF
Computers & Internet

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

By Annabelle McIver | Charles Carroll MorganSpringer
₹5,422₹17,395Save 69%

Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.

Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
  • 💵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

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 ₹5,422 on BookShops.in.
Does BookShops.in offer free delivery for Abstraction, Refinement and Proof for Probabilistic Systems?
BookShops.in offers free delivery on orders above ₹499. For Abstraction, Refinement and Proof for Probabilistic Systems, if your order total is below ₹499, a flat shipping fee of ₹49 applies.
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 info@bookshops.in or call +91 99446 78357.
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.

Related Products

View All
Buy Algorithms (English, Sanjoy Dasgupta | Christos H. Papadimitriou | Umesh Vazirani) — BookShops.in-21%

Computers & Internet

Algorithms (English, Sanjoy Dasgupta | Christos H. Papadimitriou | Umesh Vazirani)

₹5,024₹6,381
★ 4.2
Buy Data Structures and Algorithm Analysis in Java (English, Mark Weiss) — BookShops.in-83%

Computers & Internet

Data Structures and Algorithm Analysis in Java (English, Mark Weiss)

₹4,570₹26,848
★ 4.4
Buy ANSI Common LISP (English, Paul Graham) — BookShops.in-75%

Computers & Internet

ANSI Common LISP (English, Paul Graham)

₹5,302₹21,154
★ 4.6
Buy 100 Things Every Designer Needs to Know about People (English, Susan Weinschenk) — BookShops.in

Computers & Internet

100 Things Every Designer Needs to Know about People (English, Susan Weinschenk)

₹2,045
★ 4.7
Buy How Brands Grow (English, Richard Ed. Sharp) — BookShops.in

Computers & Internet

How Brands Grow (English, Richard Ed. Sharp)

₹3,231
★ 4.6
Buy CNC Programming using Fanuc Custom Macro B (English, S. K. Sinha) — BookShops.in-49%

Computers & Internet

CNC Programming using Fanuc Custom Macro B (English, S. K. Sinha)

₹4,892₹9,561
★ 4.5