Normal view
MARC view
Lucena, Carlos J. P. de (Nombre personal)
Machine generated authority record
Work cat.: ()842349: Alencar, Paulo S. C. de 247899, Métodos formais para o desenvolvimento de programas, 1988