Etiqueta de registo: 00230nlm 2200025 450
001 1732089
003 http://id.bnportugal.gov.pt/bib/catbnp/1732089
100 ## $a20091210d2008 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
106 ## $as
200 1# $a Um processo de modelação de sistemas software com integração de especificações rigorosas$bRecurso electrónico]$fAntónio Manuel Nestor Ribeiro$gorient. Fernando Mário Junqueira Martins
210 #9 $a[Braga$cs.n.],$d2008
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
230 ## $aDados
304 ## $aTít. retirado do primeiro ecrã informativo
320 ## $aContém bibliografia
328 #0 $bTese dout.$cInformática (Fundamentos da Computação)$eEscola de Engenharia, Univ. do Minho$d2008
675 ## $a004.41(043)(0.034)$vBN$zpor$90$31407326
675 ## $a004.9(043)(0.034)$vBN$zpor$31390838
700 #1 $aRibeiro,$bAntónio Manuel Nestor$31402812
702 #1 $aMartins,$bFernando Mário Junqueira,$f1955-$4727$3194231
712 02 $aUniversidade do Minho.$bEscola de Engenharia$4295$3106263
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16415 P.$x1

Etiqueta de registo: 00230nlm 2200025 450
001 1726637
003 http://id.bnportugal.gov.pt/bib/catbnp/1726637
100 ## $a20091013d2007 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
106 ## $as
200 1# $a Uma arquitectura de software dinâmica para a criação de ambientes de interacção social regulada na web$bRecurso electrónico]$fHugo Alexandre Paredes Guedes da Silva$gorient. Fernando Mário Junqueira Martins
210 #9 $a[Braga$cs.n.],$d2007
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
230 ## $aDados textuais
304 ## $aTít. retirado do primeiro ecrã informativo
320 ## $aContém bibliografia
328 #0 $bTese dout.$cInformática (Tecnologia da Programação)$eEscola de Engenharia, Univ. do Minho$d2007
675 ## $a004.73(043)(0.034)$vBN$zpor$90$31249879
675 ## $a004.5(043)(0.034)$vBN$zpor$31223413
675 ## $a316.77(043)(0.034)$vBN$zpor$31250679
700 #1 $aSilva,$bHugo Alexandre Paredes Guedes da$31394927
702 #1 $aMartins,$bFernando Mário Junqueira,$f1955-$4727$3194231
712 02 $aUniversidade do Minho.$bEscola de Engenharia$4295$3106263
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16162 P.$x1

Etiqueta de registo: 00900cam 2200265 450
001 567096
003 http://id.bnportugal.gov.pt/bib/catbnp/567096
005 19990103000000.0
095 ## $aPTBN00776010
100 ## $a19951011d1995 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMétodos formais na concepção e desenvolvimento de sistemas interactivos$bTexto policopiado]$fFernando Mário Junqueira Martins
210 #9 $aBraga$c[s.n.],$d1995
215 ## $aXX, 362 f.$cil.$d30 cm$ecurriculum vitae (17 f.)
320 ## $aBibliografia, f. 308-326
328 ## $aTese dout. Ciências da Computação, Univ. do Minho, 1995
675 ## $a519.68(043)$vBN$zpor$3302159
675 ## $a681.3.06(043)$vBN$zpor$3301665
675 ## $a519.7/.8(043)$vBN$zpor$31291070
700 #1 $aMartins,$bFernando Mário Junqueira,$f1955-$3194231
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 79932 V.$x1