Name: NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings (en Inglés)
Price: 285281.00 COP
Availability: InStock
Author: Benz, Nathaniel ; Gopinath, Divya ; Shi, Nija
ISBN: 9783031606977

portada NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings (en Inglés)

NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Benz, Nathaniel ; Gopinath, Divya ; Shi, Nija

Idioma

Inglés

Encuadernación

Tapa Blanda

ISBN13

9783031606977

Categorías

Hardware (o soporte físico del ordenador)
Programación informática/desarrollo de software
Ciencias de la computación

NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings (en Inglés)

Benz, Nathaniel ; Gopinath, Divya ; Shi, Nija (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 11 a 15 días háb.

$ 570.561$ 285.281

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 285.281

¡Envío Gratis! Llega entre el 05 Ago y el 13 Ago a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings (en Inglés)"

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.