OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Repository: 72 Year: 1998

Sort by Score Title Year -

1-4 from 4 results (0.013 seconds)

Title: OASIS Versión 3.0: Un enfoque formal para el modelado conceptual orientado a objeto
Author: Letelier Torres, Patricio / Sánchez Palma, Pedro / Ramos Salavert, Isidro / Pastor López, Óscar
Language: Español
Repository: 72
Subject: OASIS / Modelado conceptual / Lógica dinámica / Especificaciones de procesos / Lenguajes y Sistemas Informáticos

Acceder
Title: Estudio de las publicaciones periódicas españolas de tecnología e ingeniería mecánica y metalúrgica
Author: García del Toro, María Ángeles / Faura Mateu, Félix
Language: Español
Repository: 72
Subject: Tecnología mecánica / Ingeniería mecánica / Tecnología metalúrgica / Publicaciones periódicas españolas / Ingeniería de los Procesos de Fabricación / 3313 Tecnología E Ingeniería Mecánicas

AccederAcceder
Title: Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso
Author: Letelier Torres, Patricio / Sánchez Palma, Pedro / Ramos Salavert, Isidro / Pastor López, Óscar
Language: Español
Repository: 72
Subject: OASIS / Lógica dinámica / Álgebra de procesos para Objetos (APO) / Lenguajes y Sistemas Informáticos

Acceder
Title: Prototyping a requirements specification through an automatically generated concurrent logic program
Author: Letelier Torres, Patricio / Sánchez Palma, Pedro / Ramos Salavert, Isidro
Language: Inglés
Repository: 72
Subject: OASIS / Modelos conceptuales / Dinamica lógica / Lenguajes y Sistemas Informáticos

Acceder

« Previous 1 Next »