000 01036nlm-a2200241---4500
001 319729
005 20200807130705.0
090 _a319729
100 _a20151006d2014 k y0pory5003 ba
101 0 _aeng
102 _aPT
200 1 _aCryptographic library support for a certified compiler
_bDocumento eletrónico
_d[Bibliotecas de suporte criptográfico para um compilador certificado]
_fNuno Filipe Trovisco Fernandes
_gorient. José Carlos Bacelar Almeida
210 _a[Braga
_cs.n.]
_d2014
303 _aDescrição baseada no documento eletrónico
328 0 _bDissertação mestrado
_cEngenharia Informática
_eEscola de Engenharia da Universidade do Minho
_d2014
675 _a681.3.068
_vint
_zeng
675 _a381.3-7
_vint
_zeng
700 1 _aFernandes,
_bNuno Filipe Trovisco
702 1 _93653
_aAlmeida,
_bJosé Bacelar
_4727
712 0 2 _aUniversidade do Minho.
_bEscola de Engenharia
_4295
801 0 _aPT
_bUMSD
_c20151006
_gRPC
856 4 _uhttp://hdl.handle.net/1822/37511
_zAcesso livre
_4N
942 _cLIVRO
_n0