SaleHardback
A New Owners Guide To Dalmatians ₹195 ₹194
Save: 1%
TINTIN: The Castafiore Emerald (hindi) ₹495 ₹421
Save: 15%
Abstraction Refinement And Proof For Probalilistic Systems
Publisher:
SPRINGER
| Author:
ANNABELLE MCLVER
| Language:
English
| Format:
Hardback
₹2,500 ₹2,250
Save: 10%
In stock
Ships within:
1-4 Days
In stock
Weight | 1650 g |
---|---|
Book Type |
ISBN:
Category: Computer Engineering/IT Engineering
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.
Rated 0 out of 5
0 reviews
Rated 5 out of 5
0
Rated 4 out of 5
0
Rated 3 out of 5
0
Rated 2 out of 5
0
Rated 1 out of 5
0
Be the first to review “Abstraction Refinement And Proof For Probalilistic Systems” Cancel reply
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
Rated 0 out of 5
0 reviews
Rated 5 out of 5
0
Rated 4 out of 5
0
Rated 3 out of 5
0
Rated 2 out of 5
0
Rated 1 out of 5
0
Reviews
Clear filtersThere are no reviews yet.
Be the first to review “Abstraction Refinement And Proof For Probalilistic Systems” Cancel reply
[wt-related-products product_id="test001"]
Related products
APPLIED NUMERICAL ANALYSIS USING MATLAB, 2ND EDN
Save: 15%
ADVANCED COMPUTER ARCHITECTURES: A DESIGN SPACE APPROACH
Save: 15%
8088 AND 8086 MICROPROCESSOR (ADAP), 4TH EDITION
Save: 15%
RELATED PRODUCTS
8088 AND 8086 MICROPROCESSOR (ADAP), 4TH EDITION
Save: 15%
CAD/CAM: COMPUTER-AIDED DESIGN AND MANUFACTURING
Save: 15%
Reviews
Clear filtersThere are no reviews yet.