Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Havelund, Klaus', tempo de consulta: 0.05s Limitar resultados
1
Tools and Algorithms for the Construction and Analysis of Systems
por Ábrahám, Erika, Havelund, Klaus
Publicado 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
2
Formal Methods
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura