Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science Editat de Michael Dierkes et al. 13 sep 2013 Paperback Preț: 289.53 lei 361.92 lei 43-57 zile -20%