Etiqueta de registo: 00230nam 2200025 450
001 1857022
003 http://id.bnportugal.gov.pt/bib/catbnp/1857022
100 ## $a20131126d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aBenchmark-based software product quality evaluation$fTiago Miguel Laureano Alves$gorient. José Nuno Oliveira, Joost Visser
210 #9 $a[Guimarães$cs.n.],$d2011
215 ## $aXXI, 156 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p.145-156
328 #1 $aTese dout. Informática, Escola de Engenharia, Univ. do Minho, 2011
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a005.64(043)$vBN$zpor$31234045
700 #1 $aAlves,$bTiago Miguel Laureano$31333034
702 #1 $aOliveira,$bJosé Nuno$4727$31232301
702 #1 $aVisser,$bJoost$4727$31333037
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21086 P.$x1
966 ## $lBN$mFGMON$sP. 38750 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1686767
003 http://id.bnportugal.gov.pt/bib/catbnp/1686767
100 ## $a20080708d2006 k y0pory0103 ba
101 0# $aengeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aVooDooM$bTexto policopiado]$esuport for understanding and re-engeneering of VDM-SL specifications$fTiago Miguel Loureano Alves$gorient. José Nuno Oliveira Fonseca, Joost Visser
210 #9 $a[Braga$cs.n.],$d2006
215 ## $aVIII, 125 f.$d30 cm
320 ## $aBibliografia, f. 103-114
328 #0 $bTese mestr.$cInformática$eEscola de Engenharia, Univ. do Minho$d2006
675 ## $a004.4(043)$vBN$zpor$3827344
700 #1 $aAlves,$bTiago Miguel Laureano$31333034
702 #1 $aFonseca,$bJosé Nuno Oliveira$4727$31333036
702 #1 $aVisser,$bJoost$4727$31333037
712 02 $aUniversidade do Minho.$bEscola de Engenharia$4295$3106263
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 24769 V.$x1