Concurso:
MPOG
Disciplina:
Engenharia de Software
mostrar texto associado
Uma das técnicas utilizadas para reduzir a ambiguidade de requisitos em tipos abstratos de dados é o uso de notações baseadas em linguagens formais matemáticas, como a abordagem algébrica.
