Best Book Mart

SUBJECTS

ADV. SEARCH

Home > Subjects > Others

	Abstraction, Refinement And Proof For Probabilistic Systems by Charles Morgan, Annabelle Mciver, Annabelle Mclver
	Price : Rs 2500.00
	Your Price : Rs 2000.00

	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

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%

Kit for CAT: A 100 Day Action Plan for 360 Degree Preparation: Data Interpretation-Data Sufficiency
by Shalini Verma

20%

The Case of the Missing Servant
by Tarquin Hall

13%

Methodology of Research In Social Sciences 2nd Edition
by Dr. M. Ranganatham , Dr. O.R. Krishnaswamy

15%

Law and Policy for China`s Market Socialism
by John Garrick

Peace in the Indian Ocean: A South Asian Perspective
by Suresh R

Support

Email : support [at] bestbookmart.com

Timing : 10:00 AM to 6:00 PM (Mon-Fri)

Quick Links

View Cart
My Account
Terms & Conditions
Privacy Policy
Return Policy

Abstraction, Refinement And Proof For Probabilistic Systems