Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
by Esparza, Javier (Editor), and Majumdar, Rupak (Editor)
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer.
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
by Esparza, Javier (Editor), and Majumdar, Rupak (Editor)
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $60.15, new condition, Sold by booksXpress, ships from Bayonne, NJ, UNITED STATES, published 2010 by Springer.
