*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.
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