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

Mcguire, Tommy M. (University of Texas at Austin)
The Austin Protocol Compiler - Advances in Information Security 2005 edition

Preço
R$ 652,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Mcguire, Tommy M. (University of Texas at Austin)

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

Ainda não avaliado

Também disponível como:

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 Inglês  

Mais da mesma editora

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