Best Book Mart - Abstraction, Refinement And Proof For Probabilistic Systems by Charles Morgan, Annabelle McIver, Annabelle McLver 9780387401157

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

15%

Dictionary Of Phonetics, 2007,
by R. Tim

13%

Brand Management (Text and Cases)
by S.L. Gupta

7%

Industrial & Environmental Microbiology Hons., Odisha
by Rath A.K., Mishra S.R.

10%

Role of Pakistan in India`s Energy Security- An Issue Brief
by Maj Gen A K Chaturvedi (Retd)

7%

Indian Banking M.Com 2nd Sem. Bangalore
by Ganesh N.K., Pasha M.F.

Best Book Mart

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

More Links

Our Subjects
Our Publishers

Powered By
CCAvenue

CCAvenue

SSL Protection