Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

NASA Formal Methods

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 52184285

Nakladatelství Springer, Berlin, srpen 2026

This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NF... Celý popis

Libristo kód: 52184285

206 b

Připravujeme Nové

Nové

2 058 Kč

Očekávaná novinka

Vydání 13. 08. 2026

30 dní na vrácení zboží

Zákazníci také koupili

Zdravý rozum v šachu Emanuel Lasker

Brožovaná

197 Kč

Fytoterapie perem lékaře Karol Mika

Pevná

598 Kč

Námořní bouře Andrew Mayne

Pevná

79 Kč

Perunova krev 1 František Kotleta

Brožovaná

251 Kč

Nachmittags regnet es Bussarde Barbara Geiser

Pevná

935 Kč

NANO FLUORURO D'ARGENTO KUSUMA RAMANNA

Brožovaná

994 Kč

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