ISBN: 9787030625069 - 正版全新 安全协议实施安全性自动化分析与验证 (1 resultados)
- Tapa blanda
Librería: liu xing, Nanjing, JS, Chinaliu xing
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 120,86
Envío por EUR 16,02Se envía de China a Estados Unidos de AmericaCantidad disponible: 3 disponibles
paperback. Condición: New. Paperback. Pub Date: 2019-11-01 Pages: 249 Language: Chinese Publisher: Science Press security protocol implement automated analysis and verification of safety system introduced security protocols implement the basic theory and key technology security and automated analysis and verification new results. Security protocol analysis and implementation of automated security verification is mainly in the .…
