Handbook of Formal Analysis and Verification in Cryptography Editat de Sedat Akleylek et al. 19 dec 2024 Paperback Preț: 478.38 lei 562.80 lei 6-8 săpt. -15%
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, nr. 13967 Editat de Gianluca Della Vedova et al. 19 iul 2023 Paperback Preț: 420.57 lei 525.70 lei 6-8 săpt. -20%