Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Nanda - Libros - Springer Verlag, Singapore - 9789811041204 - 22 de noviembre de 2017
En caso de que portada y título no coincidan, el título será el correcto

Nanda
Formal Methods for Safety and Security: Case Studies for Aerospace Applications 1st ed. 2018 edition

Precio
$ 122,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 22 de jun.

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.

112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 22 de noviembre de 2017
ISBN13 9789811041204
Editores Springer Verlag, Singapore
Páginas 132
Dimensiones 162 × 244 × 13 mm   ·   374 g
Editor Jeppu, Yogananda
Editor Nanda, Manju

Mas por Nanda

Mostrar todo

Mere med samme udgiver

Ver todo de Nanda ( Ej. Book , Hardcover Book y Paperback Book )