Näytetään 1 - 4 yhteensä 4 tuloksesta haulle 'Bowen, Jonathan P.', hakuaika: 0,07s Tarkenna hakua
1
Unifying Theories of Programming
Tekijä Bowen, Jonathan P., Zhu, Huibiao
Julkaistu 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
2
Engineering Trustworthy Software Systems
Tekijä Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Julkaistu 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
3
Provably Correct Systems. 1st ed. 2017
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
4
Formal Methods and Testing
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