Tools and algorithms for the construction and analysis of systems [electronic resource] : 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 : proceedings / Stefan Kowalewski, Anna Philippou (eds.).

相似书籍

• Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
  出版: (2008)
• Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
  出版: (2007)
• Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
  出版: (2005)
• Foundations of software science and computational structures 12th International Conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /
  出版: (2009)
• Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, proceedings /
  出版: (1998)