Dundua, Besik books & textbook
Handbook of Formal Analysis and Verification in Cryptography (Prospects in Pure and Applied Mathematics)
CRC Press /2023-09-19 Hardcover / 444 Pages
isbn-10: 0367546655 / isbn-13: 9780367546656
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science)
Della Vedova, Gianluca Dundua, Besik Lempp, Steffen Manea, Florin
Springer /2023-07-19 Paperback / 352 Pages
isbn-10: 3031369777 / isbn-13: 9783031369773
