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 /

Gardado en:
Detalles Bibliográficos
Autor Principal: Stan Budkowski, Ana Cavalli, Elie Najm (edición)
Formato: Libro
Idioma:inglés
Publicado: Nueva York, EUA : Springer, 1998, c1998
Series:(IFIP Advances in Information and Communication Technology)
Acceso en liña:Ver documento en línea
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descripción
Descrición Física:1 libro electrónico en línea (XVI, 472 p.)
1 recurso en línea
ISBN:978-0-387-35394-4
ISSN:1868-422X
Acceso:Licencias ilimitadas