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
10%
Viva Start Up Mathematics, Revised Edition - Book 2
by Monicaa Abhijit
22%
Ben Yokoyama and the Cookie of Doom
by SWANSON, MATTHEW
20%
Current Review of Minimally Invasive Surgery (Current Review of Laparoscopy)
by BROOKS
12%
Foundation IIT-JEE
by NA
10%
The First 90 Days
by Watkins
Best Book Mart
Support

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