Número de Chamada
|
005.1 M282
|
Autor Principal
|
Manna, Zohar
|
Entradas Secundárias - Autor
|
Waldinger, Richard
|
Título Principal
|
The deductive foundations of computer programming / Zohar Manna, Richard Waldinger. _
|
Publicação
|
Reading : Addison-Wesley, c1993.
|
Descrição Física
|
717p. _
|
Notas
|
Inclui bibliografia e indice ISBN 0-201-54886-0
|
Notas Locais
|
LC Reading : Addison-Wesley, c1993.
|
Assuntos
|
Programação (Computadores) Lógica simbólica e matemática
|
|