Foundations of software science and computation structures [electronic resource] : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : proceedings / Vladimiro Sassone (ed.).

相似书籍

• Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /
  出版: (2006)
• Foundations of software science and computational structures 10th international conference, FOSSACS 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)
• Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint 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 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)