Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540786351 - 31 de octubre de 2012
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 2011 edition

Precio
Mex$ 1.231
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 9 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, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de octubre de 2012
Fecha de lanzamiento original 2011
ISBN13 9783540786351
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 174
Dimensiones 241 × 160 × 16 mm   ·   439 g
Lengua Inglés  

Mere med samme udgiver

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