Teste de mutação formal aplicado na álgebra de processos Circus

Detalhes bibliográficos
Autor(a) principal: ALEX DONIZETI BETEZ ALBERTO
Data de Publicação: 2018
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6751823
id BRCRIS_2aebbb96be418406edfb609001701ca0
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Teste de mutação formal aplicado na álgebra de processos Circus
title Teste de mutação formal aplicado na álgebra de processos Circus
spellingShingle Teste de mutação formal aplicado na álgebra de processos Circus
Circus
ALEX DONIZETI BETEZ ALBERTO
title_short Teste de mutação formal aplicado na álgebra de processos Circus
title_full Teste de mutação formal aplicado na álgebra de processos Circus
title_fullStr Teste de mutação formal aplicado na álgebra de processos Circus
Teste de mutação formal aplicado na álgebra de processos Circus
title_full_unstemmed Teste de mutação formal aplicado na álgebra de processos Circus
Teste de mutação formal aplicado na álgebra de processos Circus
title_sort Teste de mutação formal aplicado na álgebra de processos Circus
topic Circus
publishDate 2018
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6751823
author_role author
author ALEX DONIZETI BETEZ ALBERTO
author_facet ALEX DONIZETI BETEZ ALBERTO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/9551222128563584
dc.contributor.advisor1.fl_str_mv ADENILSO DA SILVA SIMAO
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/9836776931160228
dc.publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO/SÃO CARLOS
publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO/SÃO CARLOS
instname_str UNIVERSIDADE DE SÃO PAULO/SÃO CARLOS
dc.publisher.program.fl_str_mv CIÊNCIAS DA COMPUTAÇÃO E MATEMÁTICA COMPUTACIONAL
dc.description.course.none.fl_txt_mv CIÊNCIAS DA COMPUTAÇÃO E MATEMÁTICA COMPUTACIONAL
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESTeste de mutação formal aplicado na álgebra de processos CircusTeste de mutação formal aplicado na álgebra de processos CircusTeste de mutação formal aplicado na álgebra de processos CircusTeste de mutação formal aplicado na álgebra de processos CircusTeste de mutação formal aplicado na álgebra de processos CircusTeste de mutação formal aplicado na álgebra de processos CircusTeste de mutação formal aplicado na álgebra de processos CircusCircus2018doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6751823authorALEX DONIZETI BETEZ ALBERTOhttp://lattes.cnpq.br/9551222128563584ADENILSO DA SILVA SIMAOhttp://lattes.cnpq.br/9836776931160228UNIVERSIDADE DE SÃO PAULO/SÃO CARLOSUNIVERSIDADE DE SÃO PAULO/SÃO CARLOSUNIVERSIDADE DE SÃO PAULO/SÃO CARLOSCIÊNCIAS DA COMPUTAÇÃO E MATEMÁTICA COMPUTACIONALCIÊNCIAS DA COMPUTAÇÃO E MATEMÁTICA COMPUTACIONALPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv ALBERTO, ALEX DONIZETI BETEZ. Teste de mutação formal aplicado na álgebra de processos Circus. 2018. Tese.
dc.identifier.citation.fl_str_mv ALBERTO, ALEX DONIZETI BETEZ. Teste de mutação formal aplicado na álgebra de processos Circus. 2018. Tese.
_version_ 1741888732125986816

Registros relacionados