Name: Formal Methods for Safety and Security: Case Studies for Aerospace Applications (en Inglés)
Price: 2006.81 MXN
Availability: InStock
Author: Nanda, Manju ; Jeppu, Yogananda
ISBN: 9789811041204

portada Formal Methods for Safety and Security: Case Studies for Aerospace Applications (en Inglés)

Formal Methods for Safety and Security: Case Studies for Aerospace Applications (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Nanda, Manju ; Jeppu, Yogananda

Idioma

Inglés

N° páginas

132

Encuadernación

Tapa Dura

Dimensiones

24.6 x 16.5 x 1.4 cm

Peso

0.39 kg.

ISBN13

9789811041204

N° edición

Categorías

Cálculo
Control de calidad industrial
Tecnología aeroespacial y aeronáutica
Astronáutica

Formal Methods for Safety and Security: Case Studies for Aerospace Applications (en Inglés)

Nanda, Manju ; Jeppu, Yogananda (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 21 a 27 días háb.

$ 4,013.61$ 2,006.81

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 2,006.81

¡Envío Gratis! Llega entre el 16 Jul y el 27 Jul a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods for Safety and Security: Case Studies for Aerospace Applications (en Inglés)"

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. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Formal Methods for Safety and Security: Case Studies for Aerospace Applications (en Inglés) - Nanda, Manju ; Jeppu, Yogananda

Reseña del libro "Formal Methods for Safety and Security: Case Studies for Aerospace Applications (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre