Kniha NASA Formal Methods Jyotirmoy Deshmukh

NASA Formal Methods

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

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 11-15 dní
77.61
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NF...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2026
Stránok
553
EAN
9783032280787
Enbook ID
52184285
Vydavateľ
Hmotnosť
811
Rozmery
155 x 235

Kompletný popis

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

Mohlo by vás zaujímať

Big Sister

Wendy Macgown
19.27
11.15

Rejected Mate

Arya Karin
13.50

Palm Beach Living

Jennifer Ash Rudick
75.46
11.54

Just Passing Through

Hans Peter Zell
33.95

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

27.54
8.68

Námořní bouře

Andrew Mayne
3.59

Perunova krev 1

František Kotleta
11.43
39.73

Bob Dylan

Paul Williams
5.71
42.18