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: 48422029
Price: 3297 CZK
Availability: InStock
Author: Aaron Dutle
ISBN: 9783031937057

17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11-13, 2025, Proceedings

Aaron Dutle

Laura Humphrey

Laura Titolo

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 48422029

Nakladatelství Springer, Berlin, listopad 2024

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

Libristo kód: 48422029

330 b

3 297 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.

The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance
for applications in space, aviation, robotics, and other NASA-relevant critical systems.