Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Abate, Alessandro', tempo de consulta: 0.02s Limitar resultados
1
Formal Modeling and Analysis of Timed Systems
por Abate, Alessandro, Geeraerts, Gilles
Publicado 2020
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
Numerical Software Verification
por Abate, Alessandro, Boldo, Sylvie
Publicado 2020
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