Formal Methods for Safety and Security: Case Studies for Aerospace Applications Editat de Manju Nanda et al. 22 noi 2017 Hardback Preț: 743.88 lei 907.17 lei 22-36 zile | 5-11 zile -18%