Home
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
Coles
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
From Annabelle Mciver
Current price: $248.50
Loading Inventory...
Size: 1 x 9.25 x 3.64
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
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. | Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
You May Also Like
More About Coles at Pine Centre
Shop Coles for bestselling books, toys, stationary, and so much more!
3079 Massey Dr, Prince George, BC V2N 1R4, Canada
