01198nam0-22003131i-450-99000045514040332120090219120722.00-444-86769-4000045514FED01000045514(Aleph)000045514FED0100004551420020821d1983----km-y0itay50------baenga-------101yyProtocol specification, testing, and verification, IIIproceedings of the IFIP WG 6.1 third international workshop on protocol specification, testing, testing and verification, organized by IBM research Ruschlikon, Switzerland, 31 may- 2 june, 1983edited by Harry Rudin, Colin H. WestAmsterdamNorth-Holland1983531 p.ill.24 cmProtocolli per reti di computerCongressi004.62Rudin,HarryWest,Colin H.IFIP WG 6.1 International workshop on protocol specification, testing, and verification<3. ;1983 ;Ruschilkon, Switzerland>ITUNINARICAUNIMARCBK99000045514040332110 PRO 203520 DISDINELDINELUNINA