Buscar
Mostrando ítems 1-2 de 2
Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso
(Universidad Politécnica de Valencia, 1998)
OASIS Versión 3.0: Un enfoque formal para el modelado conceptual orientado a objeto
(Universidad Politécnica de Valencia. Servicio de Publicaciones, 1998)
Redes sociales