3 E-böcker av Besik Dundua
Sedat Akleylek & Besik Dundua: Handbook of Formal Analysis and Verification in Cryptography
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 …
PDF
Engelska
DRM
€61.86
Sedat Akleylek & Besik Dundua: Handbook of Formal Analysis and Verification in Cryptography
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 …
EPUB
Engelska
DRM
€62.33
Besik Dundua & Steffen Lempp: Unity of Logic and Computation
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, Ci E 2023, held in Batumi, Georgia, during July 24-28, 2023. The 23 full papers …
EPUB
Engelska
DRM
€68.35
