Métodos formais para o desenvolvimento de programas

Título:

Métodos formais para o desenvolvimento de programas

Autor:

Alencar, Paulo S. C. de

Colaboradores:

Lucena, Carlos J. P. de

Temas:

VERIFICACIÓN DE PROGRAMAS ; CORRECCIÓN DE PROGRAMAS ; MÉTODOS FORMALES ; 

Edición:

Ed. prelim.

Localización electrónica:

Serie:

Colección EBAI

Descripción física:

ix, 175 p. ; 23 cm.

Idioma:

Portugués, 

País:

Argentina

Publicación:

Buenos Aires : Kapelusz, 1988

Nota general:

Libro editado para la IV Escuela Brasileño-Argentina de Informática, realizada en Termas de Río Hondo, Santiago del Estero, Argentina, del 16 al 29 de enero de 1989.

Puede solicitar más fácilmente el ejemplar con: D.2.4 ALE