Handbook of formal analysis and verification in cryptography
Finna-arvio
Handbook of formal analysis and verification in cryptography
Tallennettuna:
| Ulkoasu |
1 online resource (445 pages) |
|---|---|
| Kieli |
englanti |
| Julkaisija |
Boca Raton, FL :
CRC Press,
[2024]
|
| Sarja | Prospects in Pure and Applied Mathematics Series |
| Luokitus | |
| Dewey-luokitus |
005.824 |
| Aiheet | |
| Lisätiedot | edited by Sedat Akleylek, Besik Dundua |
| Print version |
Akleylek, Sedat Handbook of Formal Analysis and Verification in Cryptography Milton : Taylor & Francis Group,c2023 9780367546656 |
| Bibliografia |
Includes bibliographical references and index. |
| ISBN |
1-00-309005-2 1-003-09005-2 1-000-95547-8 |
| Hae kokoteksti | |