Runtime Verification Editat de Erika Ábrahám et al. 12 oct 2024 Paperback Preț: 374.78 lei 468.48 lei 38-44 zile -20%
Theoretical Aspects of Computing - ICTAC 2023 Lecture Notes in Computer Science, nr. 14446 Editat de Erika Ábrahám et al. 23 noi 2023 Paperback Preț: 542.90 lei 678.63 lei 6-8 săpt. -20%
Fundamentals of Software Engineering Lecture Notes in Computer Science, nr. 14155 Editat de Hossein Hojjat et al. 30 aug 2023 Paperback Preț: 385.06 lei 481.33 lei 6-8 săpt. -20%
Quantitative Evaluation of Systems Lecture Notes in Computer Science, nr. 13479 Editat de Erika Ábrahám et al. 11 sep 2022 Paperback Preț: 341.41 lei 426.76 lei 6-8 săpt. -20%
Theory and Practice of Formal Methods Lecture Notes in Computer Science, nr. 9660 Editat de Erika Ábrahám et al. 13 mar 2016 Paperback Preț: 342.50 lei 428.13 lei 6-8 săpt. -20%
Integrated Formal Methods Lecture Notes in Computer Science, nr. 9681 Editat de Erika Ábrahám et al. 24 mai 2016 Paperback Preț: 548.22 lei 685.27 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ț: 335.91 lei 419.88 lei 6-8 săpt. -20%