My AccountView CartLog-in
0
17 years of experience17 years of Excellence
SUBJECTS
ADV. SEARCH
Indian Books on Discounts
Home > Subjects > Others
  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
18%
The Internet of Things: How Smart TVs, Smart Cars, Smart Homes, and Smart Cities Are Changing the World
by Miller
15%
Corporate Entrepreneurship
by Veronique Bouchard and Alain Fayolle
15%
EJB 3.1 Cookbook
by Richard M. Reese
Trade Between SAARC and other Asian Developing Countries
by S V Hariharan
15%
Key Writers on Art: From Antiquity to the Nineteenth Century
by Chris Murray
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)
Quick Links

View Cart
My Account
Terms & Conditions
Privacy Policy
Return Policy
More Links

Our Subjects
Our Publishers

Powered By
CCAvenue
SSL Protection