This book makes my top-ten list of best computing books of the decade of the eighties. It certainly changed my outlook on how to write programs. The incorporation of logic into the code to mathematically prove that it works correctly was an ideal in the eighties and to some extent it remains an ideal. Nevertheless, that is not a reflection of the value of program correctness, but a consequence of the slow changes that sometimes take place in computing. Programmers may change their languages easily, but often not their styles.
Páginas : 403
Peso : 3mb.
Formato : PDF.
Edición : Primera
Año de Publicación :1987
ISBN : 978-0387964805
Editorial : Springer
Autor David Gries
0 comentarios:
Publicar un comentario