NASA Formal Methods by Deshmukh, Jyotirmoy; Havelund, Klaus; Pinto, Alessandro;

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

Sorozatcím: Lecture Notes in Computer Science;

12% KEDVEZMÉNY?

Kiadói listaár EUR 79.17
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

30 923 Ft (29 451 Ft + 5% áfa)
Kedvezmény(ek) 12% (cc. 3 711 Ft off)
Kedvezményes ár 27 213 Ft (25 917 Ft + 5% áfa)

27 213 Ft

Beszerezhetőség

Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.

A termék adatai:

Kiadó Springer Nature Switzerland
Megjelenés dátuma 2026. június 12.

ISBN 9783032280787
Kötéstípus Puhakötés
Terjedelem568 oldal
Méret 235x155 mm
Nyelv angol
Illusztrációk XV, 568 p. 141 illus., 96 illus. in color.

Kategóriák

A számítástudomány elmélete, a számítástechnika általában Hardver és operációs rendszerek általában Operációs rendszerek és grafikus felhasználói felületek Szoftverfejlesztés Számítógépes modellezés és szimuláció A számítástudomány elmélete, a számítástechnika általában (karitatív célú kampány) Hardver és operációs rendszerek általában (karitatív célú kampány) Operációs rendszerek és grafikus felhasználói felületek (karitatív célú kampány) Szoftverfejlesztés (karitatív célú kampány) Számítógépes modellezés és szimuláció (karitatív célú kampány)

Hosszú leírás:

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

Több

Tartalomjegyzék:

Distributed Systems and Solver Verification.- Runtime Monitoring for Autonomous Systems.- Stochastic and Probabilistic Formal Methods.- Low-Level Systems and Hardware Verification.- Neural Network Verification and Adversarial Robustness.- Program Analysis and Defect Detection.- Formal Semantics and Verified Tools.- Aviation Safety and Collision Avoidance.