HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos

Detalhes bibliográficos
Autor(a) principal: Marcelo Augusto Santos Turine
Data de Publicação: 1998
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_70d0c1dcd02ac761b949ba810ead6ce6
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
title HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
spellingShingle HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
Marcelo Augusto Santos Turine
title_short HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
title_full HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
title_fullStr HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
title_full_unstemmed HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
title_sort HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos
publishDate 1998
format doctoralThesis
author_role author
author Marcelo Augusto Santos Turine
author_facet Marcelo Augusto Santos Turine
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4584747419373688
dc.contributor.advisor1.fl_str_mv Paulo César Masiero
MARIA CRISTINA FERREIRA DE OLIVEIRA
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/1278004515460973
http://lattes.cnpq.br/8903183021436431
dc.publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO
publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO
instname_str UNIVERSIDADE DE SÃO PAULO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESHMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de HiperdocumentosHMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de HiperdocumentosHMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de HiperdocumentosHMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de HiperdocumentosHMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de HiperdocumentosHMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de HiperdocumentosHMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos1998doctoralThesisauthorMarcelo Augusto Santos Turinehttp://lattes.cnpq.br/4584747419373688 Paulo César Masierohttp://lattes.cnpq.br/1278004515460973UNIVERSIDADE DE SÃO PAULOUNIVERSIDADE DE SÃO PAULOUNIVERSIDADE DE SÃO PAULOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Turine, Marcelo Augusto Santos. HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos. 1998. Tese.
dc.identifier.citation.fl_str_mv Turine, Marcelo Augusto Santos. HMBS: Um Modelo Baseado em Statecharts para a Especificacao Formal de Hiperdocumentos. 1998. Tese.
_version_ 1741888311177248768

Registros relacionados