Formal Methods for Safety and Security: Case Studies for Aerospace Applications Editat de Manju Nanda et al. 22 noi 2017 Hardback Preț: 691.48 lei 898.02 lei 3-5 săpt. | 7-13 zile -23%