Establecimiento y verificación de la consistencia en Dome: un caso de estudio /
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Libros Digitales |
| Lenguaje: | español |
| Publicado: |
Medellín (Colombia) :
Universidad Nacional de Colombia,
2006.
|
| Materias: | |
| Acceso en línea: | https://elibro.net/ereader/elibrounam/296 |