Etiqueta de registo: 00000nx a2200025 45
001 1878458
003 http://id.bnportugal.gov.pt/aut/catbnp/1878458
100 ## $a20230406apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aRocha,$bPedro Manuel Sabino
801 #0 $aPT$bBN
810 ## $aCLASS : a logical foundation for typeful programming with shared state
830 ## $aDout. informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2022
ver registos bibliográficos associados