Desenvolvimento sistemático de programas corretos

Título:

Desenvolvimento sistemático de programas corretos: a abordagem denotacional

Autor:

Martins, Raul César Baptista

Colaboradores:

Moura, Arnaldo Vieira

Temas:

CONSTRUCCIÓN DE PROGRAMAS ; LÓGICA MATEMÁTICA ; MÉTODOS FORMALES ; 

Edición:

1a ed.

Localización electrónica:

Serie:

Colección EBAI

Descripción física:

xv, 385 p. ; 23 cm.

Idioma:

Portugués, 

País:

Brasil

Publicación:

Campinas : UNICAMP, 1988

Nota general:

Libro editado para la VI Escuela de Computación, realizada en la Universidad Estatal de Campinas, Brasil, del 7 al 15 de julio de 1988.

Puede solicitar más fácilmente el ejemplar con: F.4 MAR