Model Checking Software Lecture Notes in Computer Science, nr. 11636 Editat de Fabrizio Biondi et al. 14 sep 2019 Paperback Preț: 320.72 lei 400.90 lei 43-57 zile -20%