Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas

Detalhes bibliográficos
Data de Publicação: 1997
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_9c81454e9d4fa0262c7da53454236064
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
title Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
spellingShingle Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
title_short Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
title_full Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
title_fullStr Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
title_full_unstemmed Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
title_sort Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
publishDate 1997
format masterThesis
author_role author
dc.contributor.advisor1.fl_str_mv SERGIO VIANNA FIALHO
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8215124502137579
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
instname_str UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricasUma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricasUma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricasUma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricasUma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricasUma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricasUma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas1997masterThesisauthorSERGIO VIANNA FIALHOhttp://lattes.cnpq.br/8215124502137579UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741884464276963328

Registros relacionados