Formal Methods for Safety and Security: Case Studies for Aerospace Applications Editat de Manju Nanda et al. 4 ian 2019 Paperback Preț: 610.68 lei 793.08 lei 38-45 zile -23%