Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara 'Davies, Jim', Bilaketaren denbora: 0,03s Findu emaitzak
1
Integrated Formal Methods
nork Davies, Jim, Gibbons, Jeremy
Argitaratua 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
2
Formal Methods: Foundations and Applications
nork Davies, Jim, Silva, Leila, Simao, Adenilso
Argitaratua 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali