Etiqueta de registo: 00405cx a22001093 45
001 951342
100 ## $a20000717apory01030103ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aLopes,$bMaria Antónia Bacelar da Costa,$f1968-
400 #1 $aLopes,$bMaria Antónia Bacelar da Costa$3971601
801 #0 $aPT$bBN
810 ## $aNão-determinismo e composicionalidade na especificação de sistemas reactivos
830 ## $aTese dout. em informática pela Univ. de Lisboa
ver registos bibliográficos associados