Visualização normal
Visualização MARC
Lucina, Carlos J. P. de (Personal Name)
Machine generated authority record
Work cat.: (IBICT)25112: Alencar, Paulo S. C. de 15118, Metodos formais para desenvolvimento de programas, 1989
| Repositórios Digitais Repositório Institucional Digital do IBICT (RIDI) Livro aberto (Portal do Livro Aberto em CT&I) Aleia (Repositório de dados de pesquisa do Ibict) Biblioteca Digital Brasileira de Teses e Dissertações (BDTD) |
Endereço Instituto Brasileiro de Informação em Ciência e Tecnologia (IBICT) Horário de Funcionamento: |
 |