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