Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII), 3-6 November 1998, Paris, France /

Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII), 3-6 November 1998, Paris, France /

Saved in:
Bibliographic Details
Corporate Authors: IFIP TC6 WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols Paris, France, IFIP TC6 WG6.1 International Conference on Protocol Specification, Testing and Verification
Other Authors: Cavalli, Ana, Najm, Elie, Budkowski, Stan
Format: Conference Proceeding Book
Language:English
Published: Boston ; London : Kluwer Academic Publishers, c1998.
Series:International Federation for Information Processing (Series) ; 6.
Subjects:
Electronic data processing > Distributed processing > Congresses.
Computer network protocols > Congresses.
Online Access:Publisher description
Table of contents only
Description
Physical Description:viii, 467 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0412847604 (hbk.)

Similar Items