| Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00230nam 2200025 450
001 1783831
003 http://id.bnportugal.gov.pt/bib/catbnp/1783831
100 ## $a20110704d2008 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aVisual functional programming$e an approach based on interaction nets$fJosé Miguel Pereira Vilaça$gorient. Jorge Sousa Pinto
210 #9 $a[Braga$cs.n.],$d2008
215 ## $aXIII, 237 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
300 ## $aAutorizada a reprodução integral pelo autor, apenas para efeitos de investigação e
mediante declaração escrita do interessado.
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 229-237
328 #1 $aTese dout. Informática (Fundamentos da Computação), Univ. do Minho, 2008
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aVilaça,$bJosé Miguel Pereira$31464232
702 #1 $aPinto,$bJorge Sousa$4727$31464233
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18711 P.$x1
966 ## $lBN$mFGMON$sP. 32680 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 2014317
003 http://id.bnportugal.gov.pt/bib/catbnp/2014317
100 ## $a20190212d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aDynamic contracts for verification and enforcement of real-time systems properties$fAndré de Matos Pedro$gorient. Jorge Sousa Pinto, Luís Miguel Pinho
210 #9 $a[S.l.$cs.n.],$d2018
215 ## $aXVII, 144 p.$d30 cm
328 #1 $aTese dout. Informática (MAP-i), Escola de Engenharia, Univ. do Minho, de Aveiro e
do Porto, 2018
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.41(043)$vBN$zpor$3869101
700 #1 $aPedro,$bAndré de Matos$31741753
702 #1 $aPinto,$bJorge Sousa$4727$31464233
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 52955 V.
Etiqueta de registo: 00000nam 2200025 450
001 2015214
003 http://id.bnportugal.gov.pt/bib/catbnp/2015214
100 ## $a20190220d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aSingle-assignment program verification$fCláudio Filipe Belo da Silva Lourenço$gorient. Jorge Sousa Pinto
210 #9 $a[S.l.$cs.n.],$d2018
215 ## $aXI, 196 p.$d30 cm
328 #1 $aTese dout. Informática (MAP-i), Escola de Engenharia, Universidade do Minho, Universidade
de Aveiro, Universidade do Porto, 2018
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.41(043)$vBN$zpor$3869101
700 #1 $aLourenço,$bCláudio Filipe Belo da Silva $31742946
702 #1 $aPinto,$bJorge Sousa$4727$31464233
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 52769 V.
|
|
|
