Formal Methods for Industrial Critical Systems – A Survey of Applications Autor S Gnesi 11 mar 2013 Paperback Preț: 587.59 lei 638.68 lei 43-57 zile -8%