Etiqueta de registo: 00000nx a2200025 45
001 1410925
100 ## $a20100218apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aFaria,$bJosé Miguel Sampaio,$f1979-
801 #0 $aPT$bBN
810 ## $aFormal development of solutions for real-time operating systems with TLA/TLC
830 ## $aMestr. Engenharia Electrotécnica e de Computadores
ver registos bibliográficos associados