Mostrando 1 - 3 Resultados de 3 Para Buscar 'Dillig, Isil', tiempo de consulta: 0.03s Limitar resultados
1
Verification, Model Checking, and Abstract Interpretation
por Dillig, Isil, Palsberg, Jens
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
Computer Aided Verification
por Dillig, Isil, Tasiran, Serdar
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:
3
Computer Aided Verification
por Dillig, Isil, Tasiran, Serdar
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