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: 65 Document Type: Sin Especificar

Sort by Score Title Year -

101-104 from 104 results (0.015 seconds)

Title: Aprendizaje en organizaciones de educación no formal para personas adultas mayores de Uruguay
Language: Español
Repository: 65
Subject: EDUCACION NO FORMAL / APRENDIZAJE

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: 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: On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
Language: Inglés
Repository: 65
Subject: Programación Genérica / Lenguajes de Programación / Metateoría Formal / Cálculo Lambda / Teoría de Tipos

Acceder

« Previous 3 4 5 6 7 8 9 10 11 Next »