Podobné jednotky

• 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 : 7th International Conference, TACAS 2001, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings /
  Vydáno: (2001)
• 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 : 9th International Conference, TACAS 2003, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings /
  Vydáno: (2003)
• Tools and algorithms for the construction and analysis of systems : Fifth International Workshop, TACAS '99, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99 : Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
  Vydáno: (1999)