bib.howest.be Zoekresultaten

U zocht naar: Auteur Rozier, Kristin Yvonne. Fulltext online

1 - 5 van 5

1. NASA Formal Methods

Auteur:: Badger; Rozier, Kristin Yvonne
Uitgever:: Springer International Publishing 2019
Type:: e-book

2. NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Auteur:: Rozier, Kristin Yvonne.; Chaudhuri, Swarat
Uitgever:: Cham Springer 2023
Type:: e-book

3. NASA Formal Methods

Auteur:: Julia M. Badger, Kristin Yvonne Rozier; Kittler, Josef; Rozier, Kristin Yvonne
Uitgever:: Springer International Publishing 2014
Type:: e-book

4. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Auteur:: André Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne
Uitgever:: Springer Nature 2024
Type:: e-book

5. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9â€“13, 2024, Proceedings, Part II

Auteur:: Andre Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne
Uitgever:: Springer Nature 2025
Type:: e-book