The Austin Protocol Compiler - Advances in Information Security - Mcguire, Tommy M. (University of Texas at Austin) - Livros - Springer-Verlag New York Inc. - 9780387232270 - 19 de novembro de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

The Austin Protocol Compiler - Advances in Information Security 2005 edition

Mcguire, Tommy M. (University of Texas at Austin)

Preço
€ 116,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 16 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

The Austin Protocol Compiler - Advances in Information Security 2005 edition

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent.

141 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 19 de novembro de 2004
ISBN13 9780387232270
Editoras Springer-Verlag New York Inc.
Páginas 141
Dimensões 156 × 234 × 11 mm   ·   394 g
Idioma English  

Ver tudo de Mcguire, Tommy M. (University of Texas at Austin) ( por exemplo Hardcover Book e Paperback Book )