Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642430534 - 9 de noviembre de 2014
En caso de que portada y título no coincidan, el título será el correcto

Cas Cremers
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography

Precio
Mex$ 965
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 8 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:

This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.

174 pages, black & white illustrations, bibliography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de noviembre de 2014
Fecha de lanzamiento original 2011
ISBN13 9783642430534
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 174
Dimensiones 155 × 235 × 10 mm   ·   295 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Cas Cremers ( Ej. Hardcover Book y Paperback Book )