Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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

Language

English

Book Paperback

Libristo code: 52184285

Publishers Springer, Berlin, August 2026

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

Libristo code: 52184285

212 b

New

86.69 € VAT included

Low in stock at our supplier Shipping in 13-18 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Fytoterapie perem lékaře Karol Mika

Hardback

33.59 €

Harvey Milk : "Non à l'homophobie" Amor

Paperback

13.99 €

Zdravý rozum v šachu Emanuel Lasker

Paperback

8.99 €

Námořní bouře Andrew Mayne

Hardback

3.19 €

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

Paperback

24.89 €

Perunova krev 1 František Kotleta

Paperback

13.39 €

Nachmittags regnet es Bussarde Barbara Geiser

Hardback

46.00 €

Bob Dylan Paul Williams

Paperback

7.49 €

NANO FLUORURO D'ARGENTO KUSUMA RAMANNA

Paperback

45.69 €

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