Um estudo sobre verificação formal de sistemas concorrentes
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012.
| Autor: | |
|---|---|
| Tipo de documento: | dissertação |
| Estado: | Versão publicada |
| Data de publicação: | 2012 |
| País: | Brasil |
| Recursos: | Universidade de Brasília (UnB) |
| Repositório: | Repositório Institucional da UnB |
| Idioma: | português |
| OAI Identifier: | oai:repositorio.unb.br:10482/11471 |
| Acesso em linha: | http://repositorio.unb.br/handle/10482/11471 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Linguagem de programação (Computadores) Java (Linguagem de programação de computador) |
| Resumo: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. |
|---|