Free Preview of Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
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 September 30, 2024 - December 25, 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.
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I/en-ca/computer-aided-verification-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-i/2167DF25-A5F3-449A-ADAA-7100A1AF7A5C.html2167DF25-A5F3-449A-ADAA-7100A1AF7A5C
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I