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