Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Lecture Notes in Computer Science, nr. 14155 Editat de Hossein Hojjat et al. 30 aug 2023 Paperback Preț: 368.42 lei 460.53 lei 6-8 săpt. -20%
Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings Lecture Notes in Computer Science, nr. 14446 Editat de Erika Ábrahám et al. 23 noi 2023 Paperback Preț: 518.59 lei 648.24 lei 6-8 săpt. -20%
Runtime Verification Lecture Notes in Computer Science Editat de Houssam Abbas et al. 12 oct 2024 Paperback Preț: 374.70 lei 468.38 lei 38-44 zile -20%
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 9660 Editat de Erika Ábrahám et al. 13 mar 2016 Paperback Preț: 326.55 lei 408.19 lei 6-8 săpt. -20%
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Lecture Notes in Computer Science, nr. 9681 Editat de Erika Ábrahám et al. 24 mai 2016 Paperback Preț: 523.37 lei 654.21 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Editat de Erika Ábrahám et al. 21 mai 2014 Paperback Preț: 322.01 lei 402.51 lei 6-8 săpt. -20%
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings Lecture Notes in Computer Science, nr. 13479 Editat de Erika Ábrahám et al. 11 sep 2022 Paperback Preț: 325.61 lei 407.00 lei 6-8 săpt. -20%