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