Buscas alternativas:
parallel implementations » parallel implementation (Expandir a busca), model implementations (Expandir a busca), paa implementation (Expandir a busca)
implementations formal » implementation forms (Expandir a busca), implementacao formal (Expandir a busca), implementation model (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel implementations » parallel implementation (Expandir a busca), model implementations (Expandir a busca), paa implementation (Expandir a busca)
implementations formal » implementation forms (Expandir a busca), implementacao formal (Expandir a busca), implementation model (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
1
“... de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese