Yazar
Natasha Sharygina
4 cilt bulundu.
Cilt sonuçları
Computer Aided Verification
Natasha Sharygina, Helmut Veith · Springer
1037 sayfa · 2013
Computer software, verification / Software engineering / Computer science / Logic design / Logics and Meanings of Programs
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina · Springer
224 sayfa · 2015
Computer science / Computer software, validation
Software Verification
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok