Mostrando 1 - 2 Resultados de 2 Para Buscar 'Abate, Alessandro', tiempo 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
Enlace del recurso
Agregar a favoritos
Guardado 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
Enlace del recurso
Agregar a favoritos
Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda