Foundations of software science and computation structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /

類似資料

• Fundamental approaches to software engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /
  著者:: International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, 等
  出版事項: (2013)
• Compiler construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /
  著者:: International Conference, CC 2013, 等
  出版事項: (2013)
• Tools and algorithms for the construction and analysis of systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /
  著者:: International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, 等
  出版事項: (2013)
• Principles of security and trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /
  著者:: International Conference, POST 2013, 等
  出版事項: (2013)
• Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /
  著者:: European Symposium on Programming, ESOP 2013, 等
  出版事項: (2013)