Refine your Search
Author
Subject
Your search
1-10 from 12 results
(0.019 seconds)
-
Title: Using business process reengineering to obtain a RAISE specificationLanguage: InglésRepository: 37Subject: Ciencias Informáticas / formal method / Languages / Reengineering
-
Title: A multi-paradigm approach for mobile agents developmentAuthor: Belloni, Edgardo A.Language: InglésRepository: 37
-
Title: Development of a relational database management systemLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Query languages / Base de Datos / Relational databases
-
Title: Model evolution and system evolutionAuthor: Pons, Claudia / Baum, Gabriel Alfredo / Kutsche, Ralf-DetlefLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Lógica dinámica / Ingeniería de software / Informática / formal modeling / system evolution / model evolution / dynamic logic / UML
-
Title: Algebraic specifications and refinement for component-based development using RAISEAuthor: Estévez, Elsa Clara / Fillottrani, Pablo RubénLanguage: InglésRepository: 37
-
Title: Logical foundations and implementation of an extension of temporal logicAuthor: Cobo, María Laura / Augusto, Juan CarlosLanguage: InglésRepository: 37
-
Title: Minimum wage effects under endogenous compliance: evidence from PerúAuthor: Jaramillo Baanante, MiguelLanguage: InglésRepository: 37Subject: Ciencias Económicas / Perú / diferencias salariales / mercado laboral / JEL: J23, J38, O17 / salario
-
Title: Disequilibrium economics : Tools from open systems theoryAuthor: London, Silvia / Tohmé, Fernando AbelLanguage: InglésRepository: 37
-
Title: Bisimulation for component-based developmentAuthor: Estévez, Elsa Clara / Fillottrani, Pablo RubénLanguage: InglésRepository: 37Subject: Ciencias Informáticas / component-based development / bisimulation
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723