Yazar
Cristina Seceleanu
4 cilt bulundu.
Cilt sonuçları
Critical Systems
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti · Springer
249 sayfa · 2017
Computer science / Software engineering / Computer programs / Computer software, verification
Tests and Proofs
Virgile Prevosto, Cristina Seceleanu · Springer
Sayfa sayısı yok · 2023
Computer software, development