My Account
View Cart
Log-out
0
17 years of Excellence
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
20
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
Pls. enter your postal pincode.
Pls. enter valid Indian Postal Pincode.
Books of Similar Interest
13%
Basic Mechanical And Civil Engineering
by Mr. G. Sivakumar , Mr. N. Dilip Raja , Mr. R. Chandramohan
22%
Swamp Thing: The New 52 Omnibus
by SNYDER, SCOTT
22%
Born To Win
by James, Muriel
10%
The Nation Across the World: Postcolonial Literary Representations
by TRIVEDI, HARISH, MEENAKSHI MUKHERJEE, VIJAYASREE CHAGANTI & T. VIJAY KUMAR
15%
ELECTRICIAN`S POCKET MANUAL 2nd Ed.
by PAUL ROSENBERG
Support
Phone :
+91-9266663909
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