Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00254nam 2200025 450 001 2162673 003 http://id.bnportugal.gov.pt/bib/catbnp/2162673 100 ## $a20240402d2022 k y0pory01030103ba 101 0# $aeng$dpor 102 ## $aPT 105 ## $ay m 000yy 106 ## $ar 200 1# $aWeighted computations$esemantics and program logics$fLeandro Rafael Moreira Gomes$gorient. Luís Soares Barbosa, Alexandre Madeira 210 #9 $a[S.l.$cs.n.],$d2022 215 ## $aX, 174 p.$d30 cm 328 #1 $aTese de dout. in Computer Science, Escola de Engenharia, Universidade do Minho, Universidade
de Aveiro, Universidade do Porto, 2022 675 ## $a004.82(043)$vBN$zpor$31209577 700 #1 $aGomes,$bLeandro Rafael Moreira$31911937 702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833 702 #1 $aMadeira,$bAlexandre Leite de Castro,$f1980-$4727$31402987 801 #0 $aPT$bBN$gRPC 966 ## $lBN$mFGMON$sP. 66456 V.$x1 971 ## $cabrito$d20240402 972 ## $d20240523$e0$vlrevez$z0 973 ## $cigoulao$d20240515
|
|
|