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: 37 Document Type: Tesis Year: 2003

Sort by Score Title Year -

1-3 from 3 results (0.011 seconds)

Title: Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Author: Cengia, Javier Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Computer-aided software engineering (CASE) / Software process models (e.g., CMM, ISO, PSP)

Acceder
Title: Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
Author: Valente, Abel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / dispositivos de control / aplicación informática

Acceder
Title: Los museos interactivos de ciencias como mediadores en la construcción del conocimiento
Author: Pedersoli, Constanza
Language: Español
Repository: 37
Subject: Ciencias de la Educación / Humanidades / Museos / aprendizaje / conocimiento

Acceder

« Previous 1 Next »