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 /

Salvato in:
Dettagli Bibliografici
Enti autori: 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
Altri autori: Cavalli, Ana, Najm, Elie, Budkowski, Stan
Natura: Atti del Convegno Libro
Lingua:English
Pubblicazione: Boston ; London : Kluwer Academic Publishers, c1998.
Serie:International Federation for Information Processing (Series) ; 6.
Soggetti:
Electronic data processing > Distributed processing > Congresses.
Computer network protocols > Congresses.
Accesso online:Publisher description
Table of contents only

Accesso online

Publisher description
Table of contents only

CARM 1 Store

Dettagli sul posseduto da CARM 1 Store
Copia 1 Disponibile  Richiedi

Documenti analoghi