Hoppa till sidans huvudinnehåll

Kristin Yvonne Rozier - Böcker

Visar alla böcker från författaren Kristin Yvonne Rozier.
6 produkter

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Av Julia M. Badger, Kristin Yvonne Rozier

Häftad, Engelska, 2019

959 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Av Kristin Yvonne Rozier, Swarat Chaudhuri

Häftad, Engelska, 2023

1 439 kr

Skickas inom 7-10 vardagar

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Av André Platzer, Kristin Yvonne Rozier m. fl

Häftad, Engelska, 2024

699 kr

Skickas inom 10-15 vardagar

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Av Andre Platzer, Kristin Yvonne Rozier m. fl

Häftad, Engelska, 2024

2 509 kr

Skickas inom 10-15 vardagar
  • Nyhet

Model Checking Software

31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

Av Gidon Ernst, Kristin Yvonne Rozier

Häftad, Engelska, 2025

779 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Av Julia M. Badger, Kristin Yvonne Rozier

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar