Etiqueta de registo: 00432cx a22001333 45
001 194231
095 ## $aPTBN00160297
100 ## $a19951024apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aMartins,$bFernando Mário Junqueira,$f1955-
400 #1 $aMartins,$bFernando Mário Junqueira$31020187
801 #0 $aPT$bBN
810 ## $aMétodos formais na concepção e desenvolvimento de sistemas interactivos
830 ## $aDoutoramento em Ciências da Computação
ver registos bibliográficos associados