Skip to content
VuFind
Advanced
Advanced
  • Handbook of formal analysis an...
  • Holdings
  • Cite this
  • Export Record
    • Export to MARC
Cover Image
QR Code
Preview
Preview
Preview

Handbook of formal analysis and verification in cryptography

Other Authors: Akleylek, Sedat, Dundua, Besik
Series: Prospects in pure and applied mathematics
Subjects:
Computer systems -- > Verification
Cryptography
Mathematical analysis
Electronic books
Online Access: http://library.unisel.edu.my/web/guest/mylibrary
  • Holdings
  • Description
  • Reviews
  • Preview
  • Similar Items
  • Staff View

Internet

http://library.unisel.edu.my/web/guest/mylibrary

Electronic resources

Call Number: QA268 H538 2024
Accession No Item Category SMD Status Notes
EBO0022148 EBOOK EBOOK AVAILABLE

Similar Items

  • Information-theoretic cryptography
    by: Tyagi, Himanshu
  • Cryptography : algorithms, protocols, and standards for computer security
    by: Mammeri, Zoubir
  • Algebraic curves in cryptography
    by: Ling, San
  • Modern cryptography. Volume 2, A classical introduction to informational and mathematical principle
    by: Zheng, Zhiyong
  • Error-correction coding and decoding : bounds, codes, decoders, analysis and applications
    by: Tomlinson, Martin
    Published: (2017)

Search Options

  • Advanced Search

Need Help?

  • Search Tips

Loading...