Formal Methods for Safety and Security: Case Studies for Aerospace Applications Editat de Manju Nanda et al. 22 noi 2017 Hardback Preț: 744.42 lei 907.82 lei 3-5 săpt. | 10-14 zile -18%