Tools and Algorithms for the Construction and Analysis of Systems - 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Paperback, 2003 ed.)
Ships in 10 - 15 working days