Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Libros - Springer Verlag, Singapore - 9789811350542 - 4 de enero de 2019
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods for Safety and Security: Case Studies for Aerospace Applications Softcover reprint of the original 1st ed. 2018 edition

Precio
$ 114,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering.

132 pages, 24 Tables, color; 24 Illustrations, color; 18 Illustrations, black and white; XII, 132 p.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de enero de 2019
ISBN13 9789811350542
Editores Springer Verlag, Singapore
Páginas 132
Dimensiones 150 × 220 × 10 mm   ·   261 g
Lengua Inglés  
Editor Jeppu, Yogananda
Editor Nanda, Manju

Mere med samme udgiver