SaleHardback
A New Owners Guide To Dalmatians ₹194
Save: 1%
TINTIN: The Castafiore Emerald (hindi) ₹421
Save: 15%
Abstraction Refinement And Proof For Probalilistic Systems
Publisher:
SPRINGER
| Author:
ANNABELLE MCLVER
| Language:
English
| Format:
Hardback
₹2,250
Save: 10%
In stock
Ships within:
1-4 Days
In stock
| Weight | 1650 g |
|---|---|
| Book Type |
ISBN:
Page Extent:
388
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of ‘quantitative’ program logics.
Description
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of ‘quantitative’ program logics.
About Author
Reviews
There are no reviews yet.
[wt-related-products product_id="test001"]
Reviews
There are no reviews yet.