Handbook of Formal Analysis and Verification in Cryptography

AKLEYLEK S., Dundua B.

Taylor Francis CRC Press, 2023

  • Yayın Türü: Kitap / Mesleki Kitap
  • Basım Tarihi: 2023
  • Yayınevi: Taylor Francis CRC Press
  • Ondokuz Mayıs Üniversitesi Adresli: Evet