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
ARCHITECTING SOFTWARE INTENSIVE SYSTEMS
Save: 20%
ADVANCED COMPUTER ARCHITECTURES: A DESIGN SPACE APPROACH
Save: 15%
ADOBE PHOTOSHOP CC CLASSROOM IN A BOOK
Save: 15%
Reviews
Clear filtersThere are no reviews yet.