Handbook of Formal Analysis and Verification in Cryptography
Sedat Akleylek, Besik DunduaКатегорії:
Рік:
2024
Видавництво:
CRC Press
Мова:
english
Сторінки:
446
ISBN 10:
0367546663
ISBN 13:
9780367546663
Серії:
Prospects in Pure and Applied Mathematics
Файл:
PDF, 11.44 MB
IPFS:
,
english, 2024