¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: Técnicas Avanzadas de Compilación para Programación Lógica

Cargando...

Debes iniciar sesión para hacer esto.

Técnicas Avanzadas de Compilación para Programación Lógica

Técnicas Avanzadas de Compilación para Programación Lógica

Técnicas Avanzadas de Compilación para Programación Lógica

Puntuación: 6.89 | 9 votos
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:2010
Editor:Autoedición
Páginas:279 páginas
Idioma:inglés
Desde:25/08/2011
Tamaño:1.87 MB
Licencia:Pendiente de revisión

Contenido:

La programación como esfuerzo matemático para diseñar un algoritmo que resuelva un problema específico, junto con la tarea de codificación en un lenguaje ejecutable por un computador, puede definirse de forma precisa. Aun no siendo una tarea fácil, determinar si un programa es correcto y adecuado para un problema dado, puede realizarse mediante pruebas formales.

El objetivo de este trabajo es encontrar la metodología más óptima para determinar el valor de un algoritmo bajo un lenguaje de programación lógico como Prolog. Sin embargo, pese a que se centra en un lenguaje concreto, su estructura es aplicable a cualquier entorno de desarrollo.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categorías

en catálogo desde

25/08/2011

puntuación

31

votos

9

'LIKES' sociales

Nothing yet...

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...