Geração mecanizada de abstrações seguras para especificações CSP
Made available in DSpace on 2014-06-12T15:50:21Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 === Coordenação de Aperfeiçoamento de Pessoal de Nível Superior === Com a crescente demanda por diminuição de custos no...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade Federal de Pernambuco
2014
|
| Subjects: | |
| Online Access: | https://repositorio.ufpe.br/handle/123456789/1471 |