Técnicas para o Uso do Cálculo de Hoare em PCC

Detalhes bibliográficos
Autor(a) principal: JULIANA CARPES IMPERIAL
Data de Publicação: 2003
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_a66d8b2a5a528a4829a3645e6c379bee
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Técnicas para o Uso do Cálculo de Hoare em PCC
title Técnicas para o Uso do Cálculo de Hoare em PCC
spellingShingle Técnicas para o Uso do Cálculo de Hoare em PCC
JULIANA CARPES IMPERIAL
title_short Técnicas para o Uso do Cálculo de Hoare em PCC
title_full Técnicas para o Uso do Cálculo de Hoare em PCC
title_fullStr Técnicas para o Uso do Cálculo de Hoare em PCC
Técnicas para o Uso do Cálculo de Hoare em PCC
title_full_unstemmed Técnicas para o Uso do Cálculo de Hoare em PCC
Técnicas para o Uso do Cálculo de Hoare em PCC
title_sort Técnicas para o Uso do Cálculo de Hoare em PCC
publishDate 2003
format masterThesis
author_role author
author JULIANA CARPES IMPERIAL
author_facet JULIANA CARPES IMPERIAL
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4984699546224967
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESTécnicas para o Uso do Cálculo de Hoare em PCCTécnicas para o Uso do Cálculo de Hoare em PCCTécnicas para o Uso do Cálculo de Hoare em PCCTécnicas para o Uso do Cálculo de Hoare em PCCTécnicas para o Uso do Cálculo de Hoare em PCCTécnicas para o Uso do Cálculo de Hoare em PCCTécnicas para o Uso do Cálculo de Hoare em PCC2003masterThesisauthorJULIANA CARPES IMPERIALhttp://lattes.cnpq.br/4984699546224967EDWARD HERMANN HAEUSLERhttp://lattes.cnpq.br/6075905438020841PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv IMPERIAL, JULIANA CARPES. Técnicas para o Uso do Cálculo de Hoare em PCC. 2003. Tese.
dc.identifier.citation.fl_str_mv IMPERIAL, JULIANA CARPES. Técnicas para o Uso do Cálculo de Hoare em PCC. 2003. Tese.
_version_ 1741885369350094848

Registros relacionados