Etiqueta de registo: 00000nx a2200025 45
001 1465292
100 ## $a20110713apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aRodrigues,$bCésar de Jesus Pereira da Cunha
801 #0 $aPT$bBN
810 ## $aFoundations of program refinement by calculation
830 ## $aDout. em Informática (Fundamentos da Computação) pela Escola de Engenharia, Univ. do Minho
ver registos bibliográficos associados