Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Havelund, Klaus', am an iarratais: 0.03s Tinh chỉnh kết quả
1
Tools and Algorithms for the Construction and Analysis of Systems
le Ábrahám, Erika, Havelund, Klaus
Foilsithe 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Faigh an téacs iomlán
Cuir leis na Ceanáin
Đã lưu trong:
2
Formal Methods
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Faigh an téacs iomlán
Cuir leis na Ceanáin
Đã lưu trong:
Uirlisí Cuardaigh: Faigh Fotha RSS — Seol an Cuardach seo mar Ríomhphost