Establecimiento y verificación de la consistencia en Dome: un caso de estudio /

Bibliographic Details
Main Author: Cabarcas, Daniel
Corporate Author: e-libro, Corp
Other Authors: Arango, Fernando, Zapata, Carlos M.
Format: Libros Digitales
Language:Spanish
Published: Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Subjects:
Online Access:https://elibro.net/ereader/elibrounam/296