Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer, Berlin
SKU: 52184285
Price: 75.39 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 52184285

Casa editrice Springer, Berlin, agosto 2026

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

Codice Libristo: 52184285

185 b

Nuovi

75.39 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Fytoterapie perem lékaře Karol Mika

Rigido

24.39 €

Harvey Milk : "Non à l'homophobie" Amor

In brossura

12.09 €

Zdravý rozum v šachu Emanuel Lasker

In brossura

7.79 €

Námořní bouře Andrew Mayne

Rigido

3.19 €

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

In brossura

24.89 €

Perunova krev 1 František Kotleta

In brossura

9.79 €

Nachmittags regnet es Bussarde Barbara Geiser

Rigido

40.59 €

Bob Dylan Paul Williams

In brossura

5.69 €

NANO FLUORURO D'ARGENTO KUSUMA RAMANNA

In brossura

43.09 €

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).