Handbook of Formal Analysis and Verification in Cryptography Prospects in Pure and Applied Mathematics Editat de Besik Dundua et al. 19 dec 2024 Paperback Preț: 470.35 lei 553.35 lei 6-8 săpt. -15% Nou
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ț: 413.51 lei 516.89 lei 6-8 săpt. -20%