Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings Lecture Notes in Computer Science, nr. 14300 Editat de Paula Herber et al. 11 noi 2023 Paperback Preț: 735.95 lei 919.93 lei 6-8 săpt. -20%
Ernst Denert Award for Software Engineering 2022: Practice Meets Foundations Editat de Eric Bodden et al. 28 apr 2024 Paperback Preț: 263.85 lei 329.80 lei 38-44 zile -20%