Etiqueta de registo: 00000nx a2200025 45
001 1570270
100 ## $a20140411apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aDias,$bRicardo Jorge Freire
801 #0 $aPT$bBN
810 ## $aMaintaining the correctness of transactional memory programs
830 ## $aDoutor em Engª Informática. Orientador de teses
ver registos bibliográficos associados