Research Catalog

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification

Title: 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 ; edited by Michel Diaz.
Author: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (5th : 1985 : Toulouse and Moissac, France)
Publication: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 86-1054	Offsite

Holdings

Details

Additional Authors

Description

xi, 544 p. : ill.; 24 cm.

Subject

Computer network protocols > Congresses

Bibliography (note)

Includes bibliographies.

Call Number

JSE 86-1054

ISBN

0444878815 (U.S.)

LCCN

85025248

OCLC

16755313
16755313

Conference

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (5th : 1985 : Toulouse and Moissac, France)

Title

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 ; edited by Michel Diaz.

Imprint

Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.

Bibliography

Includes bibliographies.

Added Author

Diaz, Michel, 1945-

IFIP Working Group 6.1.

Research Call Number

JSE 86-1054

View in Legacy Catalog