Παρόμοια τεκμήρια

• Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 May, 1982 /
  Έκδοση: (1982)
• Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, organized by IBM Research Ruschlikon, Switzerland, 31 May-2 June, 1983 /
  Έκδοση: (1983)
• Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS Toulouse-Moissac, France, June 10-13, 1985 /
  Έκδοση: (1986)
• Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989 /
  Έκδοση: (1990)
• Protocol specification, testing and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification : Ottawa, Ontario, Canada, 12-15 June, 1990 /
  Έκδοση: (1990)