Dados do Acervo - Livros

Número de Chamada   
 
005.14    D131   
Autor Principal Dahl, Ole-Johan
Título Principal Verifiable programming / Ole-Johan Dahl. _
Publicação New York : Prentice-Hall, 1992.
Descrição Física 269p. _
Notas Inclui bibliografia
ISBN 0-13-951062-1
Notas Locais LC
New York : Prentice Hall, 1992.
Assuntos Computadores - Programacao - Verificacao