Etiqueta de registo: 00596cam 2200205 450
001 1815539
003 http://id.bnportugal.gov.pt/bib/porbase/1815539
005 20030616222400.0
010 ## $a0-8186-9017-8
035 ## $805010
095 ## $aPTBN00593139
100 ## $a19930216d1990 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
200 1# $aFormal verification of hardware design$fedited by Michael Yoeli
210 ## $aWashington$cIEEE Computer Society,$d1990
215 ## $aIX, 326 p.$cil.
675 ## $a621.38$vBN$zpor$3292146
702 #1 $aYoeli,$bMichael$4340$31446694
801 #0 $aPT$bBN$gRPC
977 ## $1ET-10-38$2coop$4UAVSD$6mq1264107$7bc$8coop$9UAVSD$b70345$k0
998 ## $aUAV41-2340

Etiqueta de registo: 00702nam 2200217 450
001 2226743
003 http://id.bnportugal.gov.pt/bib/porbase/2226743
005 20090602123303.0
010 ## $a978-84-666-2943-0
021 ## $aES$bB. 2.682-2007
035 ## $aCMELV_176.iso/23-11-2009/27802
100 ## $a20080708d2007 k y0pory0103 ba
101 1# $aspa$ceng
102 ## $aES
200 1# $aAmérica en la encrucijada$fFrancis Fukuyama$gtrad. Gabriel Dols Gallardo
210 ## $aBarcelona$cEdiciones B, S. A.$d2007
215 ## $a238, [2] p.$d23 cm
304 ## $aTit. orig.: America at the Crossroads
675 ## $a327(73)$vBN$zpor
700 #1 $aFukuyama$bFrancis
702 #1 $aDols Gallardo$bGabriel$4730
801 #0 $aPT$bCMELV$gRPC