Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters

Name: Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
Brand: Annabelle Mciver
Availability: Contact Retailer

From Annabelle Mciver

$248.50

Visit retailer's website

From Annabelle Mciver

Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters

$248.50

Loading Inventory...

Size: 1 x 9.25 x 3.64

Visit retailer's website

*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

Keep Shopping

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

Store Info

Find Indigo at Erin Mills Town Centre in Mississauga ON

Visit Indigo at Erin Mills Town Centre in Mississauga ON

Home