Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Chapman & Hall
Date of Publication, Distribution, etc.
1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 550 p.: ill.; 24 cm
GENERAL NOTES
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO EDITION AND BIBLIOGRAPHIC HISTORY
Text of Note
1st ed
TOPICAL NAME USED AS SUBJECT
Entry Element
، Electronic data processing-- Distributed processing-- Congresses
Entry Element
، Computer network protocols-- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
D5
.
I33845
1997
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
edited by Tadanori Mizuno ... ]et al.[
AU ironadaT ,onuziM
CO International Federation for Information Processing
CO IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )01th: 7991: Osaka, Japan(
CO IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification )71th: 7991: Osaka, Japan(
TI
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification )1997: Osaka, Japan(