Yazar
Matthieu Martel
1 cilt bulundu.
Cilt sonuçları
Numerical Software Verification
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · Springer International Publishing AG
107 sayfa · 2017
Computer software, verification
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · Springer International Publishing AG
107 sayfa · 2017
Computer software, verification