Monografia
| 10202 | IF.118 |
GRIES, David
The Science of programming / David Gries.- New York : Springer-Verlag, cop.1981.- X,366p. ; 24cm
ISBN 0-540-90641-X : OFERTA
CONCEPÇÃO DE PROGRAMAS, DESENVOLVIMENTO DO SUPORTE LOGICO
Usar a logica para que? Para que testar os programas. Proposições e predicados. Semantica de uma linguagem pequena. Desenvolvimento de programas.