Buscas alternativas:
parallel ca » parallel scan (Expandir a busca), parallel cpd (Expandir a busca), parallel cut (Expandir a busca)
ca logic » of logic (Expandir a busca), _ logic (Expandir a busca), in logic (Expandir a busca)
parallel ca » parallel scan (Expandir a busca), parallel cpd (Expandir a busca), parallel cut (Expandir a busca)
ca logic » of logic (Expandir a busca), _ logic (Expandir a busca), in logic (Expandir a busca)
1
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
Dissertação
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