Etiqueta de registo: 00000nam 2200025 450
001 1857459
003 http://id.bnportugal.gov.pt/bib/catbnp/1857459
100 ## $a20131202d2012 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aFormal verification of cryptographic software implementations$fBárbara Isabel de Sousa Vieira$gorient. Manuel Bernardo Barbosa
210 #9 $a[Guimarães$cs.n.],$d2012
215 ## $aXVI, 186 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 ## $aContém bibliografia
328 #1 $aTese dout. Informatics, Esc. de Engenharia, Univ. do Minho, 2012
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aVieira,$bBárbara Isabel de Sousa$31555357
702 #1 $aBarbosa,$bManuel Bernardo$4727$31555565
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21084 P.$x1
966 ## $lBN$mFGMON$sP. 38745 V.$x1