OPAC

Your search

Query: FORMAL LANGUAGES Year: 2014 Repository: 65 Language: Español

Sort by Score Title Year -

1-10 from 40 results (0.012 seconds)

Title: Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Language: Español
Repository: 65
Subject: Software Program Verification / Formal Methods / Correctness Proofs / Model Checking / Métodos Formales / Verificación de Sistemas Embebidos / Especificación y Prueba Asistida de Propiedades.

Acceder
Title: Análisis formal del estándar NIST para modelos RBAC
Language: Español
Repository: 65
Subject: Standard NIST / Análisis Formal / Role Based Access Control

Acceder
Title: La participación de los adolescentes en la educación no formal : Centro Juvenil Padre Hurtado
Language: Español
Repository: 65
Subject: JOVENES / EDUCACION NO FORMAL

Acceder
Title: Educación sexual en el sistema educativo formal :dificultades identificadas por los maestros
Language: Español
Repository: 65
Subject: DOCENTES / EDUCACION PRIMARIA Y SECUNDARIA / EDUCACION SEXUAL / CAPACITACION PROFESIONAL

Acceder
Title: Hacia una especificación formal del modelo de seguridad de MIDP 3.0
Language: Español
Repository: 65
Subject: Java Micro Edition / Interactive Mobile Devices / Modelo de Seguridad / Especificaciones Formales / MIDP / Coq

Acceder
Title: Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
Language: Español
Repository: 65
Subject: UNIX-COMPATIBILIDAD / SISTEMAS OPERATIVOS

Acceder
Title: Una semántica formal de primitivas de modificación de estados de sistemas orientados a objetos.
Language: Español
Repository: 65
Subject: OBJECT ORIENTED SYSTEMS / PRIMITIVAS DE MODIFICACION DE ESTADOS

Acceder
Title: Estudio de caso: Cooperativa Social de Clasificadores de Residuos Ave Fénix. Son los protagonistas de la búsqueda por la inclusión al mercado formal del trabajo, con la ilusión de mejorar su calidad de vida y el medioambiente
Language: Español
Repository: 65
Subject: TRABAJO / COOPERATIVISMO / CLASIFICADORES DE RESIDUOS

Acceder
Title: Demencia y cuidados : estudio sobre la figura del cuidador formal y la incidencia del estigma de la demencia sobre las condiciones laborales
Language: Español
Repository: 65
Subject: DEMENCIA / CALIDAD DE VIDA / ENFERMEDAD DE ALZHEIMER / CONDICIONES DE TRABAJO

Acceder
Title: Hacia una especificación formal de un microcontrolador usado en marcapasos
Language: Español
Repository: 65
Subject: Microcontroladores (PICs) / Especificaciones Formales / Coq

Acceder

« Previous 1 2 3 4 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search