Um estudo sobre verificação formal de sistemas concorrentes
Збережено в:
| Автор: | |
|---|---|
| Дата публікації: | 2012 |
| Формат: | Master thesis |
| Мова: | por |
| Джерело: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/11471 |
Резюме: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. |
Схожі ресурси: Um estudo sobre verificação formal de sistemas concorrentes
- Análise do impacto na compreensão de programas Java com a introdução de expressões lambda
- Transformações de programa para suportar a evolução da linguagem Java
- Estudo e implementação do algoritmo jaya no processo de otimização do comportamento dinâmico de uma torre de transmissão
- Uma formalização da composicionalidade do cálculo lambda-ex em Coq
- LUACOMP : ferramenta de autoria de aplicações para tv digital
- Explicit substitutions and all that