Tools and algorithms for the construction and analysis of systems 15th international conference tacas 2009 held as part of the joint european conferences on theory and practice of software etaps 2009 york uk march 22 29 2009. Tools and algorithms for the construction and analysis of systems 15th international conference tacas 2009 held as part of the joint european lecture notes in computer science 5505 kowalewski stefan philippou anna on amazoncom free shipping on qualifying offers tools and algorithms for the construction and analysis of systems 15th international conference tacas 2009. International conference on tools and algorithms for the construction and analysis of systems search within this conference 2020 tacas 2020 25 30 april dublin ireland tools and algorithms for the construction and analysis of systems 60 papers 2 volumes 2019 tacas 2019 6 11 april prague czech republic tools and algorithms for the construction and analysis of systems 74 papers 3 . Tools and algorithms for the construction and analysis of systems 25th international conference tacas 2019 held as part of the european joint conferences on theory and practice of software etaps 2019 prague czech republic april 6 11 2019 proceedings part i. Tools and algorithms for the construction and analysis of systems 15th international conference tacas 2009 held as part of the joint european computer science and general issues by stefan kowalewski editor anna philippou editor springer 2009 04 21 2009 paperback usedgood