Yazar
Kristin Yvonne Rozier
2 cilt bulundu.
Cilt sonuçları
NASA Formal Methods
Julia M. Badger, Kristin Yvonne Rozier · Springer
400 sayfa · 2014
Computer science / Formal methods (Computer science) / Congresses / Méthodes formelles (Informatique) / Congrès
Formal Methods
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi · Springer
625 sayfa · 2024
Kategori yok