Etiqueta de registo: 00000nx a22000253 45
001 1912006
003 http://id.bnportugal.gov.pt/aut/catbnp/1912006
100 ## $a20240402apory0103 ba0
152 ## $aRPC
200 #1 $aLiu,$bChong
801 #0 $aPT$bBN
810 ## $aLightweight trustworthy high-level : software design
830 ## $aTese de dout. em Informática
ver registos bibliográficos associados