1
Assuntos:
“...Especificacao algebrica...”
ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT
Dissertação
2
Assuntos:
“...Especificacao algebrica...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
3
Assuntos:
“...Especificacao algebrica...”
Semantics for an algebraic specification language
Dissertação