Etiqueta de registo: 00000nx a22000253 45
001 1911937
003 http://id.bnportugal.gov.pt/aut/catbnp/1911937
100 ## $a20240402apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aGomes,$bLeandro Rafael Moreira
801 #0 $aPT$bBN
810 ## $aWeighted computations : semantics and program logics
830 ## $aTese de dout. in Computer Science
ver registos bibliográficos associados