Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Davies, Jim', hakuaika: 0,17s Tarkenna hakua
1
Integrated Formal Methods
Tekijä Davies, Jim, Gibbons, Jeremy
Julkaistu 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
2
Formal Methods: Foundations and Applications
Tekijä Davies, Jim, Silva, Leila, Simao, Adenilso
Julkaistu 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
Työkalut: RSS-syöte — Lähetä haku sähköpostilla