*Valid November 28, 2024 - December 2, 2024 at Canadian stores and at indigo.ca, while quantities last, with $50.00 or more pre-tax purchase of eligible product(s), after discounts and plum points redemptions. Minimum purchase amount excludes gift cards, plum+ memberships, Love of Reading products/donations, and shipping costs. Selection may vary between stores and online.
Abstraction, Refinement and Proof for Probabilistic Systems/en-ca/abstraction-refinement-and-proof-for-probabilistic-systems/BA1AB6A0-24DF-4FA6-8DB4-160E02C46DFD.htmlBA1AB6A0-24DF-4FA6-8DB4-160E02C46DFD
Abstraction, Refinement And Proof For Probabilistic Systems