Verificação de modelos para programas em um subconjunto de JCSP
Made available in DSpace on 2014-06-12T15:59:26Z (GMT). No. of bitstreams: 2 arquivo5125_1.pdf: 944608 bytes, checksum: b3965877c4e7cb64788c8157f6ca6838 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 === A verificação de modelos formais...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade Federal de Pernambuco
2014
|
| Subjects: | |
| Online Access: | https://repositorio.ufpe.br/handle/123456789/2581 |