|
|
|
|
LEADER |
01054cam a2200277 7i4500 |
001 |
0000080032 |
005 |
20231010090000.0 |
020 |
|
|
|a 9781003090052 (electronic book)
|
090 |
0 |
0 |
|a QA268
|b .H538 2024
|
245 |
0 |
0 |
|a Handbook of formal analysis and verification in cryptography
|c edited by Sedat Akleylek, Besik Dundua.
|
264 |
|
|
|a Boca Raton, FL:
|b CRC Press,
|c 2024.
|
300 |
|
|
|a 1 online resource (428 pages):
|b text file, PDF.
|
336 |
|
|
|a text
|2 rdacontent
|
337 |
|
|
|a computer
|2 rdamedia
|
338 |
|
|
|a online resource
|2 rdacarrier
|
490 |
0 |
|
|a Prospects in pure and applied mathematics
|
650 |
|
0 |
|a Computer systems --
|x Verification
|
650 |
|
0 |
|a Cryptography
|
650 |
|
0 |
|a Mathematical analysis
|
655 |
|
0 |
|a Electronic books
|
700 |
1 |
|
|a Akleylek, Sedat
|
700 |
1 |
|
|a Dundua, Besik
|
856 |
4 |
2 |
|u http://library.unisel.edu.my/web/guest/mylibrary
|
997 |
|
|
|a Communication, Visual Art & Computing, Faculty
|b Computing, Department
|
998 |
|
|
|a Mathematics with Statistics, Degree
|
999 |
|
|
|a EBO0022148
|b EBOOK
|c EBOOK
|e Electronic resources
|