Etiqueta de registo: 00230nam 2200025 450
001 1781621
003 http://id.bnportugal.gov.pt/bib/catbnp/1781621
100 ## $a20110601d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aCoverage-directed observability-based validation method for embedded software$fJosé Carlos Campos Costa$gorient. José Carlos Alves Pereira Monteiro
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $a[1], XVI, 151 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2010
675 ## $a004.41(043)$vBN$zpor$3869101
700 #1 $aCosta,$bJosé Carlos Campos$3917286
702 #1 $aMonteiro,$bJosé Carlos Alves Pereira$4727$382495
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18639 P.$x1
966 ## $lBN$mFGMON$sP. 32454 V.$x1

Etiqueta de registo: 00696cam 2200205 450
001 1004658
003 http://id.bnportugal.gov.pt/bib/catbnp/1004658
005 19991210104400.0
100 ## $a19991027d1999 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMétodos de estimação da potência dissipada em circuitos lógicos$bTexto policopiado]$fJosé Carlos Campos Costa
210 #9 $aLisboa$c[s.n.],$d1999
215 ## $aXVII, 106 p.$cil.$d30 cm
320 ## $aBibliografia, p. 104-106
328 ## $aTese mestr. Engenharia Electrotécnica e de Computadores, Univ. Téc. de Lisboa, 1999
675 ## $a621.3(043)$vBN$zpor$3297328
700 #1 $aCosta,$bJosé Carlos Campos$3917286
966 ## $lBN$mFGMON$sS.A. 89969 V.$x1