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
|
|