Buscas alternativas:
contracts programming » constraint programming (Expandir a busca), control programming (Expandir a busca), constrained programming (Expandir a busca)
in contracts » and contracts (Expandir a busca), of contracts (Expandir a busca), in contact (Expandir a busca)
parallel in » parallels in (Expandir a busca), parallel i (Expandir a busca), parallel join (Expandir a busca)
contracts programming » constraint programming (Expandir a busca), control programming (Expandir a busca), constrained programming (Expandir a busca)
in contracts » and contracts (Expandir a busca), of contracts (Expandir a busca), in contact (Expandir a busca)
parallel in » parallels in (Expandir a busca), parallel i (Expandir a busca), parallel join (Expandir a busca)
1
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação