Etiqueta de registo: 00000nam 2200025 450
001 1945363
003 http://id.bnportugal.gov.pt/bib/catbnp/1945363
100 ## $a20161021d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aRely-guarantee protocols for safe interference over shared memory$fFilipe David Oliveira Militão$gorient. Luís Caires, Jonathan Aldrich
210 #9 $aLisboa$c[s.n.],$d2015
215 ## $aX, 235 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Faculdade de Ciências e Tecnologia, universidade Nova de Lisboa, 2015
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aMilitão,$bFilipe David Oliveira$31660457
702 #1 $aCaires,$bLuís$4727$3179014
702 #1 $aAldrich,$bJonathan$4727$31660459
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 45722 V.$x1