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

20%

Laws on Defensive Security and Arms Reduction
by Shagun Raj

15%

Innermost Asia. Detailed Report of Explorations in Central Asia, Afghanistan, Iran, Tibet and China etc. 5 Volumes Set
by A. Stein

15%

BEGINNING ASP.NET 4.5 IN C# AND VB
by IMAR SPAANJAARS

10%

Situational Judgement Test: 2nd Edition
by David Metcalfe , Harveer Dev , Katharine Boursicot , David Sales

Investment Management B.Com 6th Sem. Pb. Uni.
by Nandrajog Anju B.

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