暗号学における形式的分析・検証ハンドブック
Handbook of Formal Analysis and Verification in Cryptography
Prospects in Pure and Applied Mathematics
Akleylek, Sedat (EDT)
Dundua, Besik (EDT)
- 出版社：CRC Press
- 出版年月：2023年 09月
- ISBN：9780367546656
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：428 p.
- 分類： 暗号学
- DDC分類：005.824