Etiqueta de registo: 00724cam 2200217 450
001 1815733
003 http://id.bnportugal.gov.pt/bib/porbase/1815733
005 20030616221900.0
010 ## $a0-444-88858-6
035 ## $804904
095 ## $aPTBN00593029
100 ## $a19930113d1990 k y0pory0103 ba
101 0# $aeng
102 ## $aNL
200 1# $aFormal methods for VSLI design$eproceedings of the International Summer School [...]$fedited by Jorgen Staunstrup
210 ## $aAmsterdam$cNorth-Holland,$d1990
215 ## $a329 p.
675 ## $a621.3 (094.5)$vBN$zpor$3292154
702 #1 $aStaunstrup,$bJorgen$4340$31446806
710 12 $aInternational Summer School on Formal Methods for VLSI Design,$f1990$31446807
801 #0 $aPT$bBN$gRPC
977 ## $1ET-31-39$2coop$4UAVSD$6mq1263935$7bc$8coop$9UAVSD$b69778$k0
998 ## $aUAV41-2223