Buscas alternativas:
parallel specification » parallel application (Expandir a busca)
specification methods » specification method (Expandir a busca), verification methods (Expandir a busca), identification methods (Expandir a busca)
methods programming » math programming (Expandir a busca), python programming (Expandir a busca), network programming (Expandir a busca)
parallel specification » parallel application (Expandir a busca)
specification methods » specification method (Expandir a busca), verification methods (Expandir a busca), identification methods (Expandir a busca)
methods programming » math programming (Expandir a busca), python programming (Expandir a busca), network programming (Expandir a busca)
1
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
Assuntos:
“...Algebraic specification...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese