Podobné jednotky

• Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25-April 2, 2000 : proceedings /
  Vydáno: (2000)
• Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings /
  Vydáno: (2001)
• Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 11, 2004 : proceedings /
  Vydáno: (2004)
• Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98 : Lisbon, Portugal, March 28-April 4, 1998 : proceedings /
  Vydáno: (1998)
• Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008 : held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 : Budapest, Hungary, March 29 - April 6, 2008 : proceedings /
  Vydáno: (2008)