9787030625069 - 正版全新 安全协议实施安全性自动化分析与验证 (1 risultati)
- Brossura
Da: liu xing, Nanjing, JS, Cinaliu xing
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 116,91
EUR 15,50 spedizioneSpedito da Cina a U.S.A.Quantità: 3 disponibili
paperback. Condizione: 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 result…s. Security protocol analysis and implementation of automated security verification is mainly in the .
