NASA Formal Methods
Stabilní cena
Cenu sledujeme od 1. 10. 2026 a zatím se drží na 1 633 Kč.
O produktu
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.
Tip: Podívejte se také na další produkty z kategorie Počítačové programování, software.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783319406473
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
