Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

NASA Formal Methods

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

184 b

New

75.78 €

148.22 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Nachmittags regnet es Bussarde Barbara Geiser

Hardback

43.21 € 84.51 лв

NANO FLUORURO D'ARGENTO KUSUMA RAMANNA

Paperback

43.36 € 84.81 лв

Z klenotnice - Rozhovory s osobnosťami Jana Šimulčíková

Hardback

11.56 € 22.60 лв

Perunova krev 1 František Kotleta

Paperback

13.46 € 26.32 лв

Harvey Milk : "Non à l'homophobie" Amor

Paperback

12.84 € 25.11 лв

Námořní bouře Andrew Mayne

Hardback

3.64 € 7.13 лв

Bláznivo čarovné okienka Zvieratká

Board book

7.50 € 14.66 лв

EL "POTSER" COM A PUBLIC [CAT-CAS] PEREJAUME

Paperback

21.58 € 42.20 лв

Bob Dylan Paul Williams

Paperback

7.45 € 14.56 лв

Fytoterapie perem lékaře Karol Mika

Hardback

33.80 € 66.12 лв

Notice Historique Sur La Vie de Toussaint-Louverture SANS AUTEUR

Paperback

13.92 € 27.22 лв

Zdravý rozum v šachu Emanuel Lasker

Paperback

9.09 € 17.78 лв

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

Paperback

24.50 € 47.93 лв

Henrik Ibsen "Gespenster" - Analyse der Form und des Inhalts unter dem Aspekt des Naturalismus Kirsten Ludwig

Paperback

15.15 € 29.64 лв

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