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 6-8 săpt. -20%