Prospects in Pure and Applied Mathematics – serie

Visar alla böcker i serien Prospects in Pure and Applied Mathematics. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Handbook of Formal Analysis and Verification in Cryptography

   Av Sedat Akleylek, Besik Dundua

   Inbunden, 2023

   2843 kr

   Lägg i varukorg

   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. The chapters give readers general knowledge and formal …

2. 

   Handbook of Formal Analysis and Verification in Cryptography

   Av Sedat Akleylek, Besik Dundua

   Häftad, 2024

   1048 kr

   Lägg i varukorg

   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. The chapters give readers general knowledge and formal …