Mostrando 1 - 1 Resultados de 1 Para Buscar 'Cook, Byron', tiempo de consulta: 0.04s Limitar resultados
1
Verification, Model Checking, and Abstract Interpretation
por Cook, Byron, Podelski, Andreas
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