Establecimiento y verificación de la consistencia en Dome: un caso de estudio /
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Analítica |
| Language: | Spanish |
| Published: |
Medellín (Colombia) :
Universidad Nacional de Colombia,
2006.
|
| Subjects: | |
| Online Access: | https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=296 |