0
17 years of experience17 years of Excellence
SUBJECTS
ADV. SEARCH
Indian Books on Discounts
  Abstraction, Refinement And Proof For Probabilistic Systems
 

Abstraction, Refinement And Proof For Probabilistic Systems

by Charles Morgan, Annabelle Mciver, Annabelle Mclver

  Price : Rs 2500.00
  Your Price : Rs 2000.00
Discount
20
In Stock
  Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm. This title presents results of a large and integrated body of research in the area of `quantitative` program logics. ISBN - 9780387401157
 


Pages : 388
Credit Cards
Payment accepted by All Major Credit and Debit Cards, Net Banking, Cash Cards, Paytm, UPI, Paypal. Our payment gateways are 100% secure.
Check Delivery
Books of Similar Interest
20%
Sakhiyani: Lesbian Desire in Ancient and Modern India
by Giti Thadani
20%
DC DUTTA`S TEXTBOOK OF OBSTETRICS WITH DVD-ROM
by KONAR HIRALAL
10%
A Beginners Guide to Technical Communication 5th Edition
by Anne Eisenberg
22%
A Year on Adam`s Farm
by Adam Henson
10%
Write: 10 Days to Overcome Writer`s Block Period
by Karen E. Peterson
Best Book Mart
Support

Email Us Email : support [at] bestbookmart.com
Working Hours Timing : 10:00 AM to 6:00 PM (Mon-Fri)
Powered By
CCAvenue
SSL Protection