Normal view
MARC view
Alencar, Paulo S. C. de (Nome pessoal )
Machine generated authority record
Work cat.: (IBICT)25112: Alencar, Paulo S. C. de, Metodos formais para desenvolvimento de programas, 1989