Mostrando 1 - 1 resultados de 1 para a busca 'parallel three incremental programming*', tempo de busca: 0,18s

1

... 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

Publicado em 1995
Tese