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

Subject: Semantics of Programming Languages Language: Español

Sort by Score Title Year -

171-172 from 172 results (0.016 seconds)

Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

Acceder
Title: “ASLX”: Semantic Analyzer for programming languages based on XML
Author: Buffa, Gabriela Yanel / Pellegrini, Franco Gaston
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Semantics / Extensible Markup Language / Document Type Definition / programming languages

Acceder

« Previous 10 11 12 13 14 15 16 17 18 Next »