Etiqueta de registo: 00000nam 2200025 450
001 2213508
003 http://id.bnportugal.gov.pt/bib/catbnp/2213508
100 ## $a20250506d2024 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSafe and resource-aware verification for programming cyber-physical systems$fCarlos Jorge Velez Mão de Ferro$gorient. Francisco Cipriano da Cunha Martins, António Casimiro Ferreira da Costa
210 #9 $aLisboa$c[s.n.],$d2024
215 ## $aXXIII, 173 p.$cil.$d30 cm$ecurriculum vitae (3 f.)
328 #1 $aTese dout. Informática, Faculdade de Ciências, Universidade de Lisboa, 2024
675 ## $a004.4(43)$vBN$zpor$31954158
700 #1 $aMão de Ferro,$bCarlos Jorge Velez Mão de$31953982
702 #1 $aMartins,$bFrancisco Cipriano da Cunha,$f1972-$4727$31295267
702 #1 $aCosta,$bAntónio Casimiro Ferreira da,$f1968-$4727$3207741
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 69691 V.$x1
971 ## $corlando$d20250506
972 ## $e0$z0$d20250523$viquintas
973 ## $cigoulao$d20250508