What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Técnicas Avanzadas de Compilación para Programación Lógica

Loading...

You must sign in to do that.

Forgot password?

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

Score: 6.89 | 9 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2010
Publisher:Autoedición
Pages:279 pages
Language:english
Since:25/08/2011
Size:1.87 MB
License:Pending review

Content:

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.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

online since

25/08/2011

rate score

31

votes

9

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...