Métodos formais para o desenvolvimento de programas

Alencar, Paulo S. C. de

Métodos formais para o desenvolvimento de programas - Ed. prelim. ed. - Buenos Aires : Kapelusz, 1988 - ix, 175 p. ; 23 cm. - Colección EBAI .

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.

9501398781

DIF-M102


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