Catálogo da BNP: acesso por Identificadores Unívocos
Registo de autoridade
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