Etiqueta de registo: 00407cx a2200133 45
001 239484
003 http://id.bnportugal.gov.pt/aut/catbnp/239484
100 ## $a19970128apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aSantos,$bHenrique Manuel Dinis dos,$f1960-
400 #1 $aSantos,$bHenrique Manuel Dinis dos$31001223
400 #1 $93$aSantos,$bHenrique$31709736
801 #0 $aPT$bBN
810 ## $aMetodologias de especificação e análise de sistemas digitais
830 ## $aDoutorado em Engenharia de Computadores. Professor universitário. Orient. de teses
ver registos bibliográficos associados