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)
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, 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)