JCI-2010-08550
Financiado
Teoría e Implementación de la Programación Lógica, Funcional y de Restricciones,...
Teoría e Implementación de la Programación Lógica, Funcional y de Restricciones, Paralelismo y Concurrencia, Compiladores Paralelizantes, Análisis Global y Transformación de Programas, Interpretación Abstracta, Ejecución Distribuida, Visualización, Arqui
ver más
01/01/2010
UPM
101K€
Presupuesto del proyecto: 101K€
Líder del proyecto
UNIVERSIDAD POLITÉCNICA DE MADRID
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
3944
Total investigadores
3944
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2010-01-01
No tenemos la información de la convocatoria
Conecta tu I+D
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
TIN2008-06622-C03-03
LENGUAJES DECLARATIVOS Y HERRAMIENTAS PARA DATOS WEB
93K€
Cerrado
TIN2008-06622-C03-01
SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING
323K€
Cerrado
TIN2015-71819-P
TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF...
108K€
Cerrado
CHORDS
Choreographies for Distributed Systems: Reasoning, Expressiv...
2M€
Cerrado
TIN2009-11555
CONSTRUCCION DE UN LENGUAJE DE TRANSFORMACION DE MODELOS TIP...
57K€
Cerrado
TIN2012-38137-C02-01
TECNICAS AVANZADAS DE VERIFICACION DE APLICACIONES CONCURREN...
115K€
Cerrado