-
-
Formal Models and Techniques for Analyzing Security Protocols
A Tutorial
Foundations and Trends® in Programming Languages
-
Cortier, Véronique
Kremer, Steve
-
出版社：Now Publishers Inc
出版年月：2014年 11月
装丁：PAP
言語：ENG
-
税込価格：
24,594円
ご注文できません
-
-
Electronic Voting
4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Lecture Notes in Computer Science .11759
-
Herausgegeben:Krimmer, Robert
Volkamer, Melanie
Cortier, Veronique
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019. 2019. x
-
税込価格：
13,989円
海外在庫あり
通常２～５週間で出荷
