Protocol specification, testing, and verification 111 proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification
IFIP WG 6.1 InternationalWorkshop on Protocol Specification, Testing and Verification (3rd 1983 Rüschlikon) Harry Rudin 1937-; Colin H West 1939-; IBM Zürich Research Laboratory
Amsterdam Oxford North-Holland 1983
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M10.25 I61ps 1983 e.1 ) e outros locais(Acessar)
Protocol specification, testing and verification, IV
IFIP WG 6.1 InternationalWorkshop on Protocol Specification, Testing and Verification (4th 1984 Skytop Lodge, Pa.) Yechiam Yemini; Robert Strom; Shaula Yemini; Columbia University
Amsterdam Oxford North-Holland 1985
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.772 If5p 4. )(Acessar)
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
IFIP WG 6.1 InternationalWorkshop on Protocol Specification, Testing and Verification (5th 1985 Toulouse-Moissac) Michel Diaz 1945-; Centre national de la recherche scientifique (France) Laboratoire d'automatique et d'analyse des systèmes
Amsterdam Oxford North-Holland 1986
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.772 If5p 5. )(Acessar)
Protocol specification, testing and verification, VI proceedings of the IFIP WG6.1 sixth International Workshop on Protocol Specification Testing, and Verification organized by Concordia University and Université de Montréal Montreal, Quebec, Canada, June 10-13, 1986
IFIP WG 6.1 InternationalWorkshop on Protocol Specification, Testing and Verification (6th (Montreal, Quebec) 1986) Behcet Sarikaya; Gregor V Bochmann 1941-; Concordia University; Université de Montréal
Amsterdam Oxford North-Holland 1987
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.772 If5p 6. )(Acessar)