Etiqueta de registo: 00230nam 2200025 450
001 1732925
003 http://id.bnportugal.gov.pt/bib/catbnp/1732925
010 ## $a978-972-8780-70-7
021 ## $aPT$b261573/07
100 ## $a20091221d2007 m y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa z 000yy
106 ## $ar
200 1# $aCORTA'2007$ecompilers, reated tecnologies and applications$eproceedings$fCompilers, reaed...$ged. Pedro Rangel Henriques, Simão Melo de Sousa, Vitor Santos
210 #9 $aCovilhã$cUniv. da Beira Interior, Dep. de Informática,$d2007
215 ## $a147 p.$cil.$d25 cm
320 ## $aContém bibliografia
675 ## $a004(042)$vBN$zpor$3992662
675 ## $a061.3$vBN$zpor$3292562
702 #1 $aHenriques,$bPedro Rangel,$f1955-$4340$391851
702 #1 $aSousa,$bSimão Melo de$4340$31405160
702 #1 $92$aSantos,$bVítor$4340$380952
710 02 $aProceedings "Compilers. Related Tecnologies and Applications$cCORTA '2007,$eCovilhã,$f2007$31405156
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20100224
966 ## $lBN$mFGMON$sP. 27497 V.$x1
966 ## $lBN$mFGMON$sP. 27497 V.-D$x1

Etiqueta de registo: 00000nam 2200025 450
001 1881256
003 http://id.bnportugal.gov.pt/bib/catbnp/1881256
100 ## $a20140811d2013 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aTowards certified program logics for the verification of imperative programs$fDavid Miguel Ramalho Pereira$gorient. Nelma Moreira, Simão Melo de Sousa
210 #9 $aPorto$c[s.n.],$d2013
215 ## $aXIX, 144 p.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Computer Science, Fac. de Ciências, Univ. do Porto, 2013
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a512(043)$vBN$zpor$3297302
700 #1 $aPereira,$bDavid Miguel Ramalho$31382626
702 #1 $aMoreira,$bNelma Resende Araújo$4727$3281106
702 #1 $aSousa,$bSimão Melo de$4727$31405160
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21506 P.$x1
966 ## $lBN$mFGMON$sP. 40324 V.$x1