June 21st Fatjer's Day! All the best gift ideas. Shop NowJune 21st Fatjer's Day! All the best gift ideas. Shop Now
Add Item to wish listAdd Item to wish list
Read Sample

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedi

By Arie Gurfinkel (Editor), Marijn Heule (Editor)
Paperback
$49.99
By Arie Gurfinkel (Editor), Marijn Heule (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3—8, 2025, in Hamilton, Canada.

The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software V...

Categories

ComputersComputers - General & MiscellaneousGeneral & Miscellaneous Computing