The Austin Protocol Compiler

-The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. This book will finally close the communication gap between the protocol verifiers and the protocol implementers. The TAP notation uses two types of semantics: an abstract seman...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: McGuire, Tommy M. (Autor), Gouda, Mohamed G. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Advances in Information Security, 13
Temas:
Computer networks .
Application software.
Data structures (Computer science).
Information theory.
Computer input-output equipment.
Computer engineering.
Computer Communication Networks.
Computer and Information Systems Applications.
Data Structures and Information Theory.
Input/Output and Data Communications.
Computer Engineering and Networks.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares