*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.
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare/en-ca/constructive-methods-in-computing-science-international-summer-school-directed-by-f.l.-bauer-m.-broy-e.w.-dijkstra-c.a.r.-hoare/FBE99EBF-86D8-45E0-8823-7A20DB1AE311.htmlFBE99EBF-86D8-45E0-8823-7A20DB1AE311
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare