Integrated Formal Methods Lecture Notes in Computer Science, nr. 14300 Editat de Paula Herber et al. 11 noi 2023 Paperback Preț: 739.95 lei 924.94 lei 6-8 săpt. -20%
Concise Guide to Software Verification Autor Marieke Huisman et al. 25 iul 2023 Hardback Preț: 523.04 lei 653.80 lei 39-44 zile -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 13077 Editat de Gwen Salaün et al. 5 noi 2021 Paperback Preț: 289.02 lei 361.27 lei 6-8 săpt. -20%