Gifting Made Simple
Give the Gift of ChoiceClick below to purchase a Bramalea City Centre eGift Card that can be used at participating retailers at Bramalea City Centre.Purchase HereHome
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters
Coles
Loading Inventory...
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters in Brampton, ON
From Annabelle Mciver
Current price: $248.50
Coles
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters in Brampton, ON
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, and additional 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
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 Bramalea City Centre
Making Connections. Creating Experiences. We exist to add a little joy to our customers’ lives, each time they interact with us.
Store Info
Find Coles at Bramalea City Centre in Brampton, ON
Visit Coles at Bramalea City Centre in Brampton, ON