NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 694
Kč
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NF...
