Etiqueta de registo: 00254nam 2200025 450
001 2162725
003 http://id.bnportugal.gov.pt/bib/catbnp/2162725
100 ## $a20240402d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLightweight trustworthy high-level software design$fLiu Chong$gorient. Manuel Alcino Cunha, Nuno Moreira Macedo
210 #9 $a[S.l.$cs.n.],$d2022
215 ## $aXIII, 190 p.$cil.$d30 cm
328 #1 $aTese de dout. em Informática, Escola de Engenharia, Universidade do Minho, Universidade de Aveiro, Universidade do Porto, 2022
675 ## $a004.41(043)$vBN$zpor$3869101
700 #1 $aLiu,$bChong$31912006
702 #1 $aCunha,$bManuel Alcino Pereira da$4727$31048535
702 #1 $aMacedo,$bNuno Filipe Moreira$4727$31640728
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 66810 V.$x1
971 ## $cabrito$d20240402
972 ## $d20240722$e0$vlrevez$z0