Kristin Yvonne Rozier - Böcker
NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
724 kr
Skickas inom 10-15 vardagar
NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
1 094 kr
Skickas inom 10-15 vardagar
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
653 kr
Skickas inom 5-8 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
442 kr
Skickas inom 10-15 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
1 637 kr
Skickas inom 10-15 vardagar
Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
479 kr
Skickas inom 7-10 vardagar
NASA Formal Methods
6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
550 kr
Skickas inom 10-15 vardagar