4 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos

em Comissão Econômica para a América Latina e o Caribe (CEPAL)