Técnicas para o Uso do Cálculo de Hoare em PCC
| Autor(a) principal: | |
|---|---|
| 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 |