Mes del terror en Buscalibre 5% dto  Ver más

Enviar a
Provincia de Madrid
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings (en Inglés)
Formato
Libro Físico
Editorial
Autor
Idioma
Inglés
N° páginas
402
Encuadernación
Tapa Blanda
Dimensiones
23.4x15.6x2.2 cm
Peso
0.59 kg.
ISBN13
9783030763831
Categorías

NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings (en Inglés)

Dutle, Aaron ; Moscato, Mariano M. ; Titolo, Laura (Autor) · Springer · Tapa Blanda

NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings (en Inglés) - Dutle, Aaron ; Moscato, Mariano M. ; Titolo, Laura

Libro Nuevo Importado
Envío: 13 a 18 días háb.
102,87 €92,59 €
-10%
Libro Nuevo

Quedan más de 100 unidades

92,59 €
Llega entre el 12 Nov y el 23 Nov a Provincia de Madrid. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings (en Inglés)"

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

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

La encuadernación de esta edición es Tapa Blanda.

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