Buscas alternativas:
parallel 3d » parallel and (Expandir a busca), parallel cpd (Expandir a busca), parallel to (Expandir a busca)
3d logic » d logic (Expandir a busca), and logic (Expandir a busca), of logic (Expandir a busca)
parallel 3d » parallel and (Expandir a busca), parallel cpd (Expandir a busca), parallel to (Expandir a busca)
3d logic » d logic (Expandir a busca), and logic (Expandir a busca), of logic (Expandir a busca)
1
2
“... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese