Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

NASA Formal Methods

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

209 b

New

30 444 Ft

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

Up to 30 days for returns

Customers also purchased

Fytoterapie perem lékaře Karol Mika

Hardback

11 354 Ft

Harvey Milk : "Non à l'homophobie" Amor

Paperback

4 786 Ft

Zdravý rozum v šachu Emanuel Lasker

Paperback

3 051 Ft

Námořní bouře Andrew Mayne

Hardback

1 183 Ft

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

Paperback

9 149 Ft

Perunova krev 1 František Kotleta

Paperback

4 538 Ft

Nachmittags regnet es Bussarde Barbara Geiser

Hardback

15 864 Ft

Bob Dylan Paul Williams

Paperback

2 554 Ft

NANO FLUORURO D'ARGENTO KUSUMA RAMANNA

Paperback

16 858 Ft

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