Tools

LEADER 01697cam 2200349 a 4500

001 ocm09826109;

005 20141212064102.0;

008 830727s1983 ne a b 100 0 eng ;

010 a| 83016300;

020 a| 0444867694 (Elsevier);

035 a| (Sirsi) o09826109;

035 a| (OCoLC)9826109;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREEa| EREE;

050 00 a| TK5105.5b| .I3426 1983;

082 0 a| 001.64/4042| 19;

111 2 a| IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verificationn| (3rd :d| 1983 :c| Rüschlikon, Switzerland)?| UNAUTHORIZED;

245 10 a| Protocol specification, testing, and verification, III :b| proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 /c| organized by IBM Research ; edited by Harry Rudin and Colin H. West.;

300 a| xii, 531 pages :b| illustrations ;c| 23 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographies.;

650 0 a| Computer network protocolsv| Congresses.=| ^A179379;

700 1 a| Rudin, Harry,d| 1937-=| ^A179380;

700 1 a| West, Colin H.,d| 1939-=| ^A179381;

710 2 a| IBM Zürich Research Laboratory.=| ^A179382;

919 a| BOOK;

596 a| 1;

998 a| 247528;

999 a| TK5105.5 .I3426 1983w| LCc| 1i| 30372003199723d| 4/2/2013e| 3/29/1995f| 4/2/2013g| 2l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 4/9/1991x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 / organized by IBM Research ; edited by Harry Rudin and Colin H. West.

Author/creator	IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
Other author	Rudin, Harry, 1937-
Other author	West, Colin H., 1939-
Other author	IBM Zürich Research Laboratory.
Format	Book
Publication Info	Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
Description	xii, 531 pages : illustrations ; 23 cm
Subjects	Computer network protocols--Congresses.

Bibliography note	Includes bibliographies.
LCCN	83016300
ISBN	0444867694 (Elsevier)

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 / organized by IBM Research ; edited by Harry Rudin and Colin H. West.

Click here for more information about this title