Ambos libros exploran conceptos fundamentales en la programación, enfocándose en la verificación y la estructura de los lenguajes de programación.
Program Verification
por Friedrich L. Bauer · 1979
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
Compiler Construction
1980
Algorithmics
1980
Foundations of Logic Programming
1981
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
Al igual que 'Program Verification', este texto aborda la lógica y los principios que subyacen en el desarrollo de algoritmos y procesos computacionales.