Etiqueta de registo: 00666cam 2200217 450
001 1787602
003 http://id.bnportugal.gov.pt/bib/porbase/1787602
005 20030601012200.0
010 ## $a0-521-47253-9$bEncadernado
035 ## $684224
095 ## $aPTBN00897801
100 ## $a19960604d1994 k y0pory0103 ba
101 0# $aeng
102 ## $aGB
200 1# $aQualifield types$etheory and practice$fMark P. Jones
210 ## $aCambridge$cCambridge University Press,$d1994
215 ## $aXI, 157 p.$d26 cm
225 2# $aDistinguished dissertations in computer science
675 ## $a519.68$vint$zeng$3292039
700 #1 $aJones,$bMark P.$3686351
801 #0 $aPT$bBN$gRPC
977 ## $1BGUM 519.68$2coop$4UMSD$6mq1092272$7bc$8coop$9UMSD$b153657$k0
998 ## $aMSD25-1379