Kristin Yvonne Rozier - Böcker
Visar alla böcker från författaren Kristin Yvonne Rozier.
6 produkter
6 produkter
NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Häftad, Engelska, 2019
939 kr
Skickas inom 10-15 vardagar
NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Häftad, Engelska, 2023
1 409 kr
Skickas inom 5-8 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Häftad, Engelska, 2024
579 kr
Skickas inom 10-15 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Häftad, Engelska, 2024
2 109 kr
Skickas inom 10-15 vardagar
Del 15945 - Lecture Notes in Computer Science
Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
Häftad, Engelska, 2025
619 kr
Skickas inom 7-10 vardagar
Del 8430 - Lecture Notes in Computer Science
NASA Formal Methods
6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Häftad, Engelska, 2014
709 kr
Skickas inom 10-15 vardagar