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, andVerification (PSTV XVIII) : 3-6 November 1998, Paris, France / edited by Stan Budkowski, Ana Cavalli, Elie Najm.

Format:

Book

Conference/Event

Contributor:

Budkowski, Stan.

Cavalli, Ana

Najm, Elie

Alumni and Friends Memorial Book Fund.

Conference Name:

IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 : Paris, France)

IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols (11th : 1998 : Paris, France)

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (18th : 1998 : Paris, France)

Series:

International Federation for Information Processing (Series) ; 6.

International Federation for Information Processing ; 6

Language:

English

Subjects (All):

Electronic data processing--Distributed processing--Congresses.

Electronic data processing.

Electronic data processing--Distributed processing.

Computer network protocols--Congresses.

Computer network protocols.

Genre:

Conference papers and proceedings.

Physical Description:

viii, 467 pages : illustrations ; 24 cm.

Place of Publication:

Boston : Kluwer Academic Publishers, 1998.

Notes:

Includes bibliographical references and index.

Local Notes:

Acquired for the Penn Libraries with assistance from the Alumni and Friends Memorial Book Fund.

ISBN:

0412847604

OCLC:

39868182