Formal Methods for Safety and Security: Case Studies for Aerospace Applications Editat de Manju Nanda et al. 22 noi 2017 Hardback Preț: 623.88 lei 810.23 lei 38-44 zile -23%