Cover is for reference only

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:
Bibliographic Details
Corporate Authors: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (1997 Osaka, Japan).
Group Author: Mizuno Tadanori.
Published: Chapman & Hall,
Publisher Address: London
Publication Dates: c1997.
Literature type: Book
Language: French
Subjects:
Electronic data processing > Distributed processing > Congresses.
Computer network protocols > Congresses.
Langages formels > Congrès.
Protocoles de réseaux d'ordinateurs > Congrès.
Traitement r鈋parti > Congr醗s.
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.

Related Book Recommendations