SaleHardback
A New Owners Guide To Dalmatians
₹194
Save: 1%
TINTIN: The Castafiore Emerald (hindi)
₹446
Save: 10%
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
25
People watching this product now!
In stock
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
Clear filtersThere are no reviews yet.
Reviews
Clear filtersThere are no reviews yet.