机读格式显示(MARC)

• 000 00515nam2 2200181 4500

• 001 0000233897

• 020 __ |a 0-444-88688-X |c ￥16.10

• 041 0_ |a eng

• 093 __ |a TN47-53 |v 4

• 245 1_ |a Formal VLSI Specification and Synthesis : VLSI design methods prodeedings of the ... |c Luc J. M. Claesen. |g |A FORMALVL |F LUCJMCLA

• 250 __ |a

• 260 __ |a Amsterdam |b Elsevier Amsterdam |c 1990

• 300 __ |a 2XVc23 cm

• 440 0_ |a

• 700 _0 |a Luc J. M. Claesen. |A LUCJMCLA |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TN47-53/I6

• 999 __ |b 1