000 00744nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a0-444-86769-4
040 _aISI KOLKATA
041 _aEnglish
082 _a5.14
_bIn61
100 _aRudin Harry
110 _aIFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 3rd : 1983 : Switzerland )
111 _aIFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 3rd
_c, Switzerland
_d1983
245 _aProtocol specification, testing and verification : proceedings
260 _aAmsterdam
_bNorth Holland
_c1983
300 _a531p
650 _aComputer science
650 _aProtocol specification
942 _cBK
999 _c107537
_d107537