Home
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
Loading Inventory...
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
From Annabelle Mciver
Current price: $248.50
From Annabelle Mciver
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
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 Indigo
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 Indigo at Erin Mills Town Centre
The largest book retailer in Canada also offers toys, music, home décor, gifts and lifestyle products. What's Inside...Books, Magazines, CD’s and DVD’s, Toys and Gifts, Home Accents, Electronics, Baby’s and Children’s Section, Bath and Body, Kitchen and Bedroom, Stationary Located outside in the exterior plaza.
5015 Glen Erin Dr, Mississauga, ON L5M 0R7, Canada
