Aqui você pode realizar buscas no catálogo on-line, bem como fazer download de parte do nosso acervo. Além disso, disponibilizamos informações sobre a biblioteca, tais como histórico, serviços oferecidos, links relacionados, etc.
ID: 10990
Nº de chamada: 519.68-V443e
Tipo de material: livro
Autor: Veloso, Paulo A. S. (Paulo Augusto Silva), 1944-
Título: Estruturação e verificação de programas com tipos de dados / Paulo A. S. Veloso. -
Local: São Paulo
Editor: Ed. E. Blucher
Ano: 1987.
Descrição física: 366p. ; 23cm
Notas:
BN001056352
Bibliografia: p. 346-358.
Inclui índice.
Assuntos:
Programação (Computadores)