Tell your friends about this item:
Handbook of Formal Analysis and Verification in Cryptography - Prospects in Pure and Applied Mathematics Besik Dundua-Sedat Akleylek
Price
HK$ 2,100
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Sep 22 - Oct 2
Get notified about new Besik Dundua-Sedat Akleylek releases
Our customers say:
Add to your iMusic wish list
Handbook of Formal Analysis and Verification in Cryptography - Prospects in Pure and Applied Mathematics
Besik Dundua-Sedat Akleylek
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols.
496 pages, 21 Tables, black and white; 45 Line drawings, black and white; 45 Illustrations, black an
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | September 19, 2023 |
| ISBN13 | 9780367546656 |
| Publishers | Taylor & Francis Ltd |
| Pages | 428 |
| Dimensions | 150 × 220 × 20 mm · 980 g |
| Language | English |
| Editor | Akleylek, Sedat |
| Editor | Dundua, Besik |
