Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 /

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification Lake Buena Vista, Florida
Other Authors: Linn, R. J., Uyar, M. �U
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam ; New York : North-Holland, 1992.
Series:IFIP transactions. Communication systems ; C-8.
Subjects:
Computer network protocols > Congresses.
Protocoles de r�eseaux d'ordinateurs > Congr�es.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Computer network protocols
Computernetwerken.
Computers > Networks > Protocols
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items