Name: NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (en Inglés)
Price: 510423.00 COP
Availability: InStock
Author: Rozier, Kristin Yvonne ; Chaudhuri, Swarat
ISBN: 9783031331695

portada NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Rozier, Kristin Yvonne ; Chaudhuri, Swarat

Idioma

Inglés

N° páginas

490

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.6 cm

Peso

0.72 kg.

ISBN13

9783031331695

Categorías

Programación informática - desarrollo de software
Redes y comunicaciones informáticas
Ciencias de la computación

NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (en Inglés)

Rozier, Kristin Yvonne ; Chaudhuri, Swarat (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 510.423

$ 850.704

Ahorras: $ 340.282

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (en Inglés)"

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.