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.

Benzer Materyaller

• Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
  Baskı/Yayın Bilgisi: (2014)
• 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 /
  Baskı/Yayın Bilgisi: (2013)
• Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
  Yazar:: Halbwachs, Nicolas
  Baskı/Yayın Bilgisi: (2005)
• Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
  Yazar:: Krishnamurthi, Shriram
  Baskı/Yayın Bilgisi: (2007)
• 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.
  Yazar:: Seidl, Helmut
  Baskı/Yayın Bilgisi: (2007)