Normal view
MARC view
VERIFICACIÓN DE PROGRAMAS (Término temático)
Machine generated authority record
Work cat.: ()842349: Alencar, Paulo S. C. de 247899, Métodos formais para o desenvolvimento de programas, 1988