Vericação de programas C++ baseados no framework cross-plataforma Qt

Detalhes bibliográficos
Autor(a) principal: Garcia, M??rio Angel Praia
Data de Publicação: 2016
Tipo de documento: Dissertação
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=4439894
id BRCRIS_feefe3f618330496c60d721d057466d1
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Vericação de programas C++ baseados no framework cross-plataforma Qt
title Vericação de programas C++ baseados no framework cross-plataforma Qt
spellingShingle Vericação de programas C++ baseados no framework cross-plataforma Qt
Bounded Model Checking
Formal Verification
Garcia, M??rio Angel Praia
title_short Vericação de programas C++ baseados no framework cross-plataforma Qt
title_full Vericação de programas C++ baseados no framework cross-plataforma Qt
title_fullStr Vericação de programas C++ baseados no framework cross-plataforma Qt
Vericação de programas C++ baseados no framework cross-plataforma Qt
title_full_unstemmed Vericação de programas C++ baseados no framework cross-plataforma Qt
Vericação de programas C++ baseados no framework cross-plataforma Qt
title_sort Vericação de programas C++ baseados no framework cross-plataforma Qt
topic Bounded Model Checking
Formal Verification
publishDate 2016
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4439894
author_role author
author Garcia, M??rio Angel Praia
author_facet Garcia, M??rio Angel Praia
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4530652865344771
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
instname_str UNIVERSIDADE FEDERAL DO AMAZONAS
dc.publisher.program.fl_str_mv ENGENHARIA ELÉTRICA
dc.description.course.none.fl_txt_mv ENGENHARIA ELÉTRICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESVericação de programas C++ baseados no framework cross-plataforma QtVericação de programas C++ baseados no framework cross-plataforma QtVericação de programas C++ baseados no framework cross-plataforma QtVericação de programas C++ baseados no framework cross-plataforma QtVericação de programas C++ baseados no framework cross-plataforma QtVericação de programas C++ baseados no framework cross-plataforma QtVericação de programas C++ baseados no framework cross-plataforma QtBounded Model Checking2016masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4439894authorGarcia, M??rio Angel Praiahttp://lattes.cnpq.br/4530652865344771UNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASENGENHARIA ELÉTRICAENGENHARIA ELÉTRICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Garcia, M??rio Angel Praia. Vericação de programas C++ baseados no framework cross-plataforma Qt. 2016. Tese.
dc.identifier.citation.fl_str_mv Garcia, M??rio Angel Praia. Vericação de programas C++ baseados no framework cross-plataforma Qt. 2016. Tese.
_version_ 1741884010099900416

Registros relacionados