NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 57, Proceedings: 16622 (Lecture Notes in Computer Science, 16622)

Springer
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 57, Proceedings: 16622 (Lecture Notes in Computer Science, 16622)

1/1

Imagen de NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 57, Proceedings: 16622 (Lecture Notes in Computer Science, 16622)

Precios a partir de

76,95

Destacado

76,95 €

Ver oferta

COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

Amazon Páginas: 584, Tapa blanda, Springer-Verlag GmbH

Leer más

Comparar tiendas web (1)

Shop

Precio

76,95 €

Ver oferta

Descripción (1)

Páginas: 584, Tapa blanda, Springer-Verlag GmbH

Leer más

Especificaciones del producto

Marca	Springer
EAN	9783032280787

Springer

Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 1822, Proceedings,...

Más información Más info

Springer

Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 1822, Proceedings,...

Más información Más info

Springer

Functional and Logic Programming: 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May...

Más información Más info

Springer

Formal Methods Teaching: 7th Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19,...

Más información Más info

Elección Destacada

76,95 €

Ver oferta