*Valid January 13, 2025 - March 2, 2025 at Canadian stores and at indigo.ca with $30.00 or more purchase of eligible in-stock product(s) in a single transaction before taxes, and after discounts. Not valid on previous purchases or in conjunction with other offers.
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