LEFEx: Uma linguagem de especificação formal executável
Autor(a) principal: | |
---|---|
Data de Publicação: | 1992 |
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_9853b71ab4996440d1fb9410a9b3f2f3 |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
LEFEx: Uma linguagem de especificação formal executável |
title |
LEFEx: Uma linguagem de especificação formal executável |
spellingShingle |
LEFEx: Uma linguagem de especificação formal executável MARIA AMELIA PACHECO E SILVA |
title_short |
LEFEx: Uma linguagem de especificação formal executável |
title_full |
LEFEx: Uma linguagem de especificação formal executável |
title_fullStr |
LEFEx: Uma linguagem de especificação formal executável LEFEx: Uma linguagem de especificação formal executável |
title_full_unstemmed |
LEFEx: Uma linguagem de especificação formal executável LEFEx: Uma linguagem de especificação formal executável |
title_sort |
LEFEx: Uma linguagem de especificação formal executável |
publishDate |
1992 |
format |
masterThesis |
author_role |
author |
author |
MARIA AMELIA PACHECO E SILVA |
author_facet |
MARIA AMELIA PACHECO E SILVA |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/0153654537681426 |
dc.contributor.advisor1.fl_str_mv |
JOAO BOSCO DA MOTA ALVES |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/4046984728286369 |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE UBERLÂNDIA |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE UBERLÂNDIA |
instname_str |
UNIVERSIDADE FEDERAL DE UBERLÂNDIA |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESLEFEx: Uma linguagem de especificação formal executávelLEFEx: Uma linguagem de especificação formal executávelLEFEx: Uma linguagem de especificação formal executávelLEFEx: Uma linguagem de especificação formal executávelLEFEx: Uma linguagem de especificação formal executávelLEFEx: Uma linguagem de especificação formal executávelLEFEx: Uma linguagem de especificação formal executável1992masterThesisauthorMARIA AMELIA PACHECO E SILVAhttp://lattes.cnpq.br/0153654537681426JOAO BOSCO DA MOTA ALVEShttp://lattes.cnpq.br/4046984728286369UNIVERSIDADE FEDERAL DE UBERLÂNDIAUNIVERSIDADE FEDERAL DE UBERLÂNDIAUNIVERSIDADE FEDERAL DE UBERLÂNDIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
identifier_str_mv |
SILVA, MARIA AMELIA PACHECO E. LEFEx: Uma linguagem de especificação formal executável. 1992. Tese. |
dc.identifier.citation.fl_str_mv |
SILVA, MARIA AMELIA PACHECO E. LEFEx: Uma linguagem de especificação formal executável. 1992. Tese. |
_version_ |
1741889893514084352 |