Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer, Berlin
SKU: 52184285
Price: 86.69 EUR
Availability: InStock
Author: Jyotirmoy Deshmukh
ISBN: 9783032280787

18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings

Jyotirmoy Deshmukh

Klaus Havelund

Alessandro Pinto

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 52184285

Editores Springer, Berlin, agosto 2026

This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NF... Descripción completa

Código Libristo: 52184285

212 b

Nuevo

86.69 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Fytoterapie perem lékaře Karol Mika

Tapa dura

34.39 €

Harvey Milk : "Non à l'homophobie" Amor

Tapa blanda

13.59 €

Zdravý rozum v šachu Emanuel Lasker

Tapa blanda

9.19 €

Námořní bouře Andrew Mayne

Tapa dura

3.49 €

Mémoires Et Lettres De Mme De Maintenon, Volume 12 Maintenon

Tapa blanda

24.89 €

Perunova krev 1 František Kotleta

Tapa blanda

13.69 €

Nachmittags regnet es Bussarde Barbara Geiser

Tapa dura

45.39 €

Bob Dylan Paul Williams

Tapa blanda

7.69 €

NANO FLUORURO D'ARGENTO KUSUMA RAMANNA

Tapa blanda

48.19 €

This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.

The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural language
requirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs).