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