Kristin Yvonne Rozier - Böcker

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

Av Julia M. Badger, Kristin Yvonne Rozier

Häftad, Engelska, 2019

969 kr

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

NASA Formal Methods

Av Kristin Yvonne Rozier, Swarat Chaudhuri

Häftad, Engelska, 2023

1 439 kr

Skickas inom 5-8 vardagar
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi, Andre Platzer, Kristin Yvonne Platzer, André - Formal Methods, Häftad
Del 14933 - Lecture Notes in Computer Science

Formal Methods

Av André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi, Andre Platzer, Kristin Yvonne Platzer, André

Häftad, Engelska, 2024

699 kr

Skickas inom 7-10 vardagar
Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad
Del 14934 - Lecture Notes in Computer Science

Formal Methods

Av Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Häftad, Engelska, 2024

2 209 kr

Skickas inom 7-10 vardagar
  • Nyhet
Gidon Ernst, Kristin Yvonne Rozier - Model Checking Software, Häftad
Del 15945 - Lecture Notes in Computer Science

Model Checking Software

Av Gidon Ernst, Kristin Yvonne Rozier

Häftad, Engelska, 2025

959 kr

Kommande
Julia M. Badger, Kristin Yvonne Rozier - NASA Formal Methods, Häftad

NASA Formal Methods

Av Julia M. Badger, Kristin Yvonne Rozier

Häftad, Engelska, 2014

729 kr

Skickas inom 7-10 vardagar