Métodos formais para o desenvolvimento de programas /

Alencar, Paulo S.C. de

Métodos formais para o desenvolvimento de programas / Paulo S.C. de Alencar, Carlos J.P. de Lucena - Buenos Aires : Kapelusz, 1989 - 175 p.;, 23 cm.

Universal Decimal Class. No.: 519.6