Etiqueta de registo: 00000nam 2200025 450
001 1889624
003 http://id.bnportugal.gov.pt/bib/catbnp/1889624
100 ## $a20141125d2014 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aAutomatic synthesis of weakest preconditions for compiler optimizations$fNuno Claudino Pereira Lopes$gorient. José Carlos Alves Pereira Monteiro
210 #9 $aLisboa$c[s.n.],$d2014
215 ## $aXVI, 82 p.$cil.$d30 cm
320 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia de Materiais, Instituto Superior Técnico, Univ. de Lisboa, 2014
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aLopes,$bNuno Claudino Pereira$31593737
702 #1 $aMonteiro,$bJosé Carlos Alves Pereira$4727$382495
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 41209 V.$x1