Hoppa till sidans huvudinnehåll

Kristin Yvonne Rozier – författare

Visar alla böcker från författaren .
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

949 kr

Skickas inom 10-15 vardagar

Kristin Yvonne Rozier, Swarat Chaudhuri - NASA Formal Methods, Häftad
Del 13903 - Lecture Notes in Computer Science

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

Skickas inom 10-15 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

579 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 149 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

629 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

729 kr

Skickas inom 10-15 vardagar