Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.
Why Kobo?
With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.
*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.
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings/en-ca/model-checking-software-30th-international-symposium-spin-2024-luxembourg-city-luxembourg-april-8-9-2024-proceedings/34394B08-CD28-4D2B-B26C-FD9180D86F5D.html34394B08-CD28-4D2B-B26C-FD9180D86F5D
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings