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 November 1997, Osaka, Japan /
edited by Tadanori Mizuno ... [et al.].

Description

Meeting Name

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification, Osaka, Japan) (1997 :

Related Names

Mizuno, Tadanori.
International Federation for Information Processing.
IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification Osaka, Japan) 1997 : (17th :
IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols Osaka, Japan) 1997 : (10th :

Language(s)

English

Published

London ; Published by Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997.

Edition

1st ed.

Subjects

Computer network protocols > Computer network protocols / Congresses.
Electronic data processing > Electronic data processing / Distributed processing > Electronic data processing / Distributed processing / Congresses.

Physical Description

vii, 550 p. : ill. ; 24 cm.

ISBN

0412820609

Locate a Print Version

Find in a library

Viewability