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