Vista normal Vista MARC Vista ISBD

Alencar, Paulo S.C. de

Métodos formais para o desenvolvimento de programas / Paulo S.C. de Alencar. - Santiago del Estero: Kapelusz, 1989 - 175 p. - Ebai .

Bibliografía: Pág. 175

Universal Decimal Class. No.: 681.32 AL25