Hoppa till sidans huvudinnehåll

Kristin Yvonne Rozier – författare

Visar alla böcker från författaren Kristin Yvonne Rozier.
6 produkter
Julia M. Badger, Kristin Yvonne Rozier - NASA Formal Methods, Häftad

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

969 kr

Skickas inom 10-15 vardagar

Kristin Yvonne Rozier, Swarat Chaudhuri - NASA Formal Methods, Häftad

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 449 kr

Skickas inom 5-8 vardagar

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad

Formal Methods

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

AvAndré Platzer,Kristin Yvonne Rozierm. fl.

Häftad, Engelska, 2024

589 kr

Skickas inom 10-15 vardagar

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad

Formal Methods

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

AvAndre Platzer,Kristin Yvonne Rozierm. fl.

Häftad, Engelska, 2024

2 189 kr

Skickas inom 10-15 vardagar

Gidon Ernst, Kristin Yvonne Rozier - Model Checking Software, Häftad
Del 15945 - Lecture Notes in Computer Science

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

639 kr

Skickas inom 5-8 vardagar

Julia M. Badger, Kristin Yvonne Rozier - NASA Formal Methods, Häftad
Del 8430 - Lecture Notes in Computer Science

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

739 kr

Skickas inom 10-15 vardagar