Monografia
| 469 | IF.106 |
NOLIN, Louis
Formalisation des notions de machine et de programme / Louis Nolin.- [Paris] : Gauthier-Villars, 1969.- XIV,218p. ; il. ; 27cm. - (Collection Programmation)
Dir. de col. L. Nolin
: COMPRA
ALGORITMO, MAQUINA DE CALCULAR, LINGUAGEM DE PROGRAMAÇÃO, PROGRAMATICA, SISTEMA DE MEMORIA
Introdução. Algoritmos. Maquinas elementares. Maquinas reais. Uma linguagem ATF. Propriedades da linguagem ATF. Bibliografia.