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 /
Άλλοι συγγραφείς: | , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1983
|
Θέματα: |