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
$ 122,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.

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

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  

Mere med samme udgiver

Ver todo de Mcguire, Tommy M. (University of Texas at Austin) ( Ej. Hardcover Book y Paperback Book )