Ferramentas para linguagem de especificação LOTOS
Orientador: Mauricio Ferreira Magalhães === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-19T03:46:57Z (GMT). No. of bitstreams: 1 Lima_HumbertoMaia_M.pdf: 6282762 bytes, checksum: 38c8a0eb30331b118dd48a4a19ad9b52...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
1992
|
Subjects: | |
Online Access: | LIMA, Humberto Maia. Ferramentas para linguagem de especificação LOTOS. 1992. [165] f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/259633>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259633 |
Internet
LIMA, Humberto Maia. Ferramentas para linguagem de especificação LOTOS. 1992. [165] f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/259633>. Acesso em: 19 jul. 2018.http://repositorio.unicamp.br/jspui/handle/REPOSIP/259633