Free Preview of Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';
Editorial reviews
Author
Others Also Bought
Choose format
eBooks from Indigo are available at Kobo.com
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 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.
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II/en-ca/verification-model-checking-and-abstract-interpretation-26th-international-conference-vmcai-2025-denver-co-usa-january-20-21-2025-proceedings-part-ii/680476FB-D103-4235-BB12-C483AAA88357.html680476FB-D103-4235-BB12-C483AAA88357
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II