Buscas alternativas:
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallel model » parallel code (Expandir a busca)
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallel model » parallel code (Expandir a busca)
1
Assuntos:
“...Model checking...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Dissertação
2
“..., in assemblies and programming of robots. The second experience was as Contributor of the National Institute...”
O uso da robótica educativa e o desenvolvimento de competências e habilidades matemáticas
Dissertação