Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.
Add Item to wish listAdd Item to wish list

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

By Erika Abraham (Editor), Klaus Havelund (Editor)
Paperback
$54.99
By Erika Abraham (Editor), Klaus Havelund (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
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected...

Categories