Cover Image

QR Code

Un esquema de programación lógicofuncional con restricciones: marco teórico y aplicación a la depuración declarativa : marco teórico y aplicación a la depuración declarativa /

Bibliographic Details
Main Author:	Vado Vírseda, Rafael del.
Other Authors:	Rodríguez Artalejo, Marío, (Director)
Format:	Tesis eBook
Language:	Spanish
Published:	Madrid : Universidad Complutense de Madrid, 2009.
Subjects:	Functional programming (Computer science) Logic programming. Informática. Programación informática. Libros electrónicos.
Online Access:	https://elibro.net/ereader/uninicaragua/89015

Similar Items

Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP /
by: Estévez Martín, Sonia.
Published: (2015)

Programación declarativa cualificada con restricciones
by: Romero Díaz, Carlos Alberto.
Published: (2011)

Depuración declarativa y verificación heterogénea en Maude Declarative debugging and heterogeneous verification in Maude /
by: Riesco Rodríguez, Adrián.
Published: (2011)

Formalizando el proceso de depuración en programación funcional paralela y perezosa
by: Encina Vara, Alberto de la.
Published: (2008)

Programación /
by: Moreno Pérez, Juan Carlos.
Published: (2014)

Análisis y diseño orientado a objetos
by: Cueva Lovelle, Juan Manuel.
Published: (2003)

Introducción a la programación /
by: Juganaru Mathieu, Mihaela.
Published: (2014)

Programación de servicios y procesos /
by: Sánchez Campos, Alberto.
Published: (2014)

Fonaments de programació /
Published: (2008)

Gestión de servicios en el sistema informático (MF0490_3) /
by: Chicano Tejada, Ester.
Published: (2014)

Lógica de programación orientada a objetos /
by: Oviedo Regino, Efraín M.
Published: (2015)

Programación orientada a objetos /
by: Jaramillo Valbuena, Sonia.
Published: (2010)

Programación lineal resolución de problemas en hoja de cálculo /
by: Mokotoff, Ethel.
Published: (2004)

Programa tus dispositivos /
by: Contreras Castañeda, Miguel Ángel.
Published: (2018)

Fundamentos de programación con la STL /
by: Garrido Carrillo, Antonio.
Published: (2016)

Fundamentos de ordenadores : programación en C /
by: Jiménez Castells, Marta.
Published: (2013)

Prácticas con C++ : metodología de la programación /
by: Garrido Carrillo, Antonio.
Published: (2016)

Implementación e integración de elementos software con tecnologías basadas en componentes (UF1290) /
by: Villar Cueli, José.
Published: (2014)

Desarrollo y optimización de componentes software para tareas administrativas de sistemas (UF1286) /
by: Villada Romero, José Luis.
Published: (2015)

Despliegue y puesta en funcionamiento de componentes software (UF1291) /
by: Granados La Paz, Rafael Luis.
Published: (2014)

Desarrollo de componentes software para servicios de comunicaciones (UF1288) /
by: Huércano Ruíz, Federico.
Published: (2014)

Desarrollo de componentes software para el manejo de dispositivos (drivers) (UF1287) /
by: Díaz Coca, María Josefa.
Published: (2014)

Introducción a la programación con Python 3 /
by: Marzal Varó, Andrés.
Published: (2014)

Programación estocástica por metas teoría y aplicaciones económicas /
by: García Aguado, Ana María.
Published: (1998)

Introducció a la programació : problemes resolts /
Published: (2006)

Java 2 : lenguaje y aplicaciones /
by: Ceballos Sierra, Francisco Javier.
Published: (2006)

Microsoft C : lenguaje y aplicaciones /
by: Ceballos Sierra, Francisco Javier.
Published: (2007)

Fonaments de programació : problemes resolts en C++ /
Published: (2006)

Fundamentos C++ /
by: Aburruzaga García, Gerardo.
Published: (2009)

Sistemas abiertos
by: López, Rosario.
Published: (2009)

Programación orientada a objetos con C++ /
by: Ceballos Sierra, Francisco Javier.
Published: (2007)

Programación lineal aplicada /
by: Guerrero Salas, Humberto.
Published: (2009)

Programación dinámica : introducción y ejercicios resueltos /
by: Cotta, Carlos.
Published: (2018)

Manual básico CADPIPE 5.3 diseño de tuberías por ordenador /
by: Sentana Cremades, Eloy.
Published: (2001)

Programación avanzada con Visual Basic 2005
by: Balena, Francesco.
Published: (2008)

Programación avanzada en SQL Server 2005 técnicas esenciales /
by: Brust, Andrew J.
Published: (2007)

Aplicaciones informáticas de hojas de cálculo : UF0321. Excel 2013 /
by: Díaz Salvo, Juan Manuel.
Published: (2014)

Programación lineal : su aplicación a los procesos agropecuarios /
by: Céspedes Trujillo, Nancy.
Published: (2007)

Estructuras de datos en C
Published: (2005)

Estructura de datos en C++
by: Joyanes Aguilar, Luis.
Published: (2007)