Formal Methods for Industrial Critical Systems – A Survey of Applications Autor S Gnesi 11 mar 2013 Paperback Preț: 599.71 lei 651.85 lei 6-8 săpt. -8%