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