The Austin Protocol Compiler - Advances in Information Security - Mcguire, Tommy M. (University of Texas at Austin) - Libros - Springer-Verlag New York Inc. - 9780387232270 - 19 de noviembre de 2004
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 2.290
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 26 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Mcguire, Tommy M. (University of Texas at Austin)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible 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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 19 de noviembre de 2004
ISBN13 9780387232270
Editores Springer-Verlag New York Inc.
Páginas 141
Dimensiones 156 × 234 × 11 mm   ·   394 g
Lengua Inglés  

Más del mismo editor

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