Dados do Acervo - Livros

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