Ambos libros abordan conceptos fundamentales en programación con un enfoque riguroso y matemático que es característico de la obra de Bauer.
Foundations of Logic Programming
por Friedrich L. Bauer · 1981
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Friedrich L. Bauer
Ver autor →Otras obras del mismo autor en el catálogo
La arquitectura del software: Una perspectiva sobre el diseño de sistemas complejos
1968
La construcción de software: un arte
1969
La estructura de los lenguajes de programación
1974
The Algorithmic Language ALGOL 68
1976
El Pensamiento Computacional y la Naturaleza del Software
1976
Die programmiertechnische Entwicklung von Algorithmen
1977
Program Verification
1979
Algorithmics
1980
Compiler Construction
1980
Programmierung mit Pascal
1981
La Programación: El Último Oficio Humano
1982
La esencia de la informática: Un enfoque axiomático
1982
Numerical Algorithms and Computer Programming
1983
Introduction to Compiler Design
1990
Theoretical Computer Science
1993
Libros similares
Libros relacionados según distintos criterios de búsqueda
La exploración de los principios lógicos en la programación se encuentra en ambos textos, destacando la relación entre teoría y práctica en la computación.