Etiqueta de registo: 00230nam 2200025 450
001 1737866
003 http://id.bnportugal.gov.pt/bib/catbnp/1737866
100 ## $a20100218d2008 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aFormal development of solutions for real-time operating systems with TLA-TLC$bTexto policopiado]$fJosé Miguel Sampaio Faria$gorient. Adriano Silva Carvalho
210 #9 $aPorto$c[s.n.],$d2008
215 ## $aXVI, 123 p.$cil.$d30 cm$ecurriculum vitae (3 f.)
215 ## $a1 disco óptico (CD-ROM) em envelope$d13 x13 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
675 ## $a004.45(043)$vBN$zpor$90$3946412
700 #1 $aFaria,$bJosé Miguel Sampaio,$f1979-$31410925
702 #1 $aCarvalho,$bAdriano da Silva,$f1953-$4727$31299372
712 02 $aUniversidade do Porto.$bFaculdade de Engenharia$4295$320472
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16631 P.$x1
966 ## $lBN$mFGMON$sP. 28055 V.$x1