| Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00000nam 2200025 450
001 2049550
003 http://id.bnportugal.gov.pt/bib/catbnp/2049550
100 ## $a20200706d2020 m y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay z 000yy
106 ## $ar
200 1# $aIntegrated verification of cryptographic security proofs and implementations$fVítor Manuel Parreira Pereira$gorient. Manuel Bernardo Martins Barbosa, José Carlos Bacelar Almeida
210 #9 $aPorto$c[s.n.],$d2020
215 ## $aXVIII, 164 p.$d30 cm
328 #1 $aTese dout. Ciência de Computadores, Faculdade de Ciências, Universidade do Porto ;
Universidade de Aveiro ; Universidade do Minho, 2020
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aPereira,$bVítor Manuel Parreira$31785275
702 #1 $aBarbosa,$bManuel Bernardo$4727$31555565
702 #1 $aAlmeida,$bJosé Carlos Bacelar$4727$31785279
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 55949 V.$x1
|
|
|
