Linguagem C : roteiro de experimentos para aulas práticas
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Almmustuhttinbeaivi: | 2016 |
| Eará dahkkit: | |
| Materiálatiipa: | Book |
| Giella: | por |
| Gáldu: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/21540 |
Čoahkkáigeassu: | Faculdade de Ciências e Tecnologias em Engenharia (FCTE) – Campus UnB Gama |
Geahča maid: Linguagem C : roteiro de experimentos para aulas práticas
- Transformações de programa para suportar a evolução da linguagem Java
- Ontoprolog : uma linguagem para especificação de discursos sobre ontologias
- Um estudo sobre verificação formal de sistemas concorrentes
- Uma formalização da composicionalidade do cálculo lambda-ex em Coq
- Introdução ao R no Ensino Médio usando recuperação de imagens como motivação
- Análise do impacto na compreensão de programas Java com a introdução de expressões lambda