*Valid March 31, 2025 - May 11, 2025 at Canadian stores and at indigo.ca, while quantities last, with $30.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.
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99/en-ca/formal-methods-for-protocol-engineering-and-distributed-systems-forte-xii-%2F-pstv-xix99/BED6A7BD-A18C-4D9A-BA2A-5D2F27B1D0AC.htmlBED6A7BD-A18C-4D9A-BA2A-5D2F27B1D0AC
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99