Tests and Proofs Lecture Notes in Computer Science Editat de Marieke Huisman et al. 10 sep 2024 Paperback Preț: 732.51 lei 963.82 lei 38-44 zile -24%
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings Lecture Notes in Computer Science, nr. 11119 Editat de Falk Howar et al. 30 aug 2018 Paperback Preț: 320.37 lei 400.47 lei 6-8 săpt. -20%