Etiqueta de registo: 00670cam 022002171 04500
001 1701683
003 http://id.bnportugal.gov.pt/bib/porbase/1701683
005 20030628223500.0
010 ## $a0-471-90844-4
035 ## $973056
095 ## $aPTBN00981846
100 ## $a19890121d198 k y0pory0103 ba
101 0# $aeng
102 ## $aGB
200 1# $aAlgorithms$ethe construction, proof, and analysis of programs$fPierre Berlioux and Philippe Bizard
205 ## $aReprinted ed
210 ## $aChichester$cJonh Wiley & Sons,$d[198-]
215 ## $aIX, 145 p.$d23 cm
700 #1 $aBerlioux,$bPierre$3875397
701 01 $aBizard,$bPhilippe$4070$3875398
801 #0 $aPT$bBN$gRPC
977 ## $1Inf. 32-G.$2coop$4UTLISE$6efalt274038$7bc$8coop$9UTLISE$bR.35754$k0
998 ## $aISE4-387