Etiqueta de registo: 00230nam 2200025 450
001 1784037
003 http://id.bnportugal.gov.pt/bib/catbnp/1784037
100 ## $a20110706d2008 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aFoundations of program refinement by calculation$fCésar de Jesus Pereira da Cunha Rodrigues$gorient. José Nuno Fonseca de Oliveira
210 #9 $a[Braga$cs.n.],$d2008
215 ## $aIX, [1], 147 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 123-132
328 #1 $aTese dout. Informática (Fundamentos da Computação), Escola de Engenharia, Univ. do Minho, 2008
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aRodrigues,$bCésar de Jesus Pereira da Cunha$31465292
702 #1 $aOliveira,$bJosé Nuno Fonseca$4727$3356868
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18709 P.$x1
966 ## $lBN$mFGMON$sP. 32682 V.$x1