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

AvJulia M. Badger,Kristin Yvonne Rozier

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

AvKristin Yvonne Rozier,Swarat Chaudhuri

Häftad, Engelska, 2023

1 379 kr

Skickas inom 10-15 vardagar

Formal Methods

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

AvAndré Platzer,Kristin Yvonne Rozier m. fl.

Häftad, Engelska, 2024

669 kr

Skickas inom 10-15 vardagar

Formal Methods

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

AvAndre Platzer,Kristin Yvonne Rozier m. fl.

Häftad, Engelska, 2024

2 409 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvGidon Ernst,Kristin Yvonne Rozier

Häftad, Engelska, 2025

749 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

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

AvJulia M. Badger,Kristin Yvonne Rozier

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar