Zoeken

U zocht naar: Auteur Rozier, Kristin Yvonne. Filter Auteur: Rozier, Kristin Yvonne. weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. NASA Formal Methods
thumbnail
Full text!
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
thumbnail
Full text!
Auteur:
Rozier, Kristin Yvonne.; Chaudhuri, Swarat
Uitgever:
Cham Springer 2023
Type:
e-book
3. NASA Formal Methods
thumbnail
Full text!
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
thumbnail
Full text!
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
thumbnail
Full text!
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