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
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
Chapman & Hall,
|
Publisher Address: | London |
Publication Dates: | c1997. |
Literature type: | Book |
Language: | French |
Subjects: | |
Carrier Form: | vii, 550 p.: ill. ; 24 cm. |
ISBN: |
0412820609 0412830507 |
Index Number: | TN915 |
CLC: | TN915.04-532 |
Call Number: | TN915.04-532/I61.1/1997/ |
Contents: | Includes bibliographical references and index. |