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