Verificação e sintese de sistemas hibridos

Verificação e sintese de sistemas hibridos

Orientador: Arnaldo Vieira Moura === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-07-26T17:52:58Z (GMT). No. of bitstreams: 1 Bonifacio_AdilsonLuiz_M.pdf: 21453626 bytes, checksum: de7be74dafd77bc551c7395989d64b6f (MD5) Pr...

Full description

Bibliographic Details
Main Author: Bonifácio, Adilson Luiz
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2000
Subjects:
Linguagens formais
Modelagem
Online Access:BONIFÁCIO, Adilson Luiz. Verificação e sintese de sistemas hibridos. 2000. 137p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275910>. Acesso em: 26 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275910

Internet

BONIFÁCIO, Adilson Luiz. Verificação e sintese de sistemas hibridos. 2000. 137p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275910>. Acesso em: 26 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275910

Similar Items