Servicios
Referencia Virtual
Enlaces de interés
Vista normal
Vista MARC
Lucena, Carlos J. P (Nombre personal)
Machine generated authority record
Work cat.: (OSt)271816: Alencar, Paulo S. C. 205354, Métodos Formais para o Desenvolvimento de Programas