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 recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2012 |
| País: | Brasil |
| Institución: | Universidade de Brasília (UnB) |
| Repositorio: | Repositório Institucional da UnB |
| Idioma: | portugués |
| OAI Identifier: | oai:repositorio.unb.br:10482/11471 |
| Acceso en línea: | http://repositorio.unb.br/handle/10482/11471 |
| Access Level: | acceso abierto |
| Palabra clave: | Linguagem de programação (Computadores) Java (Linguagem de programação de computador) |
| Sumario: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. |
|---|