OPAC

Your search

Query: FORMAL LANGUAGES Year: 2014 Repository: 65

Sort by Score Title Year -

1-10 from 59 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: A formal specification of the MIDP 2.0 security model
Language: in
Repository: 65
Subject: Calculus of Inductive Constructions / Formal specification / MIDP 2.0 / Security / Coq

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: Social security schemes and labor supply in the formal and informal sectors
Language: Inglés
Repository: 65
Subject: SEGURIDAD SOCIAL / SOCIAL SECURITY / SISTEMAS DE PREVISION SOCIAL / BENEFIT PLANS / SECTOR INFORMAL / INFORMAL SECTOR

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: 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: 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

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search