机读格式显示(MARC)

• 000 01476cam 2200361 a 4500

• 000 1000077836

• 001 0000301710

• 005 20051231090327.0

• 008 010807s2001 gw a b 101 0 eng

• 010 __ |a 2001049453

• 020 __ |a 3540425411 : |c CNY500.00

• 040 __ |a DLC |c DLC |d CtY |d SCT

• 042 __ |a pcc

• 050 00 |a TK7874.75 |b .C453 2001

• 082 00 |a 621.39/5 |2 21

• 090 __ |a TP302-53/CHA

• 093 __ |a TP302-53 |2 4

• 099 __ |a CAL 022001459277

• 111 2_ |a CHARME 2001 |d (2001 : |c Livingston, Scotland)

• 245 10 |a Correct hardware design and verification methods : |b 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / |c Tiziana Margaria, Tom Melham (eds.).

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.

• 300 __ |a xii, 479 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2144

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Also available via the World Wide Web.

• 650 _0 |a Integrated circuits |x Very large scale integration |x Computer-aided design |v Congresses.

• 650 _0 |a Integrated circuits |x Verification |v Congresses.

• 700 1_ |a Margaria, Tiziana.

• 700 1_ |a Melham, T. F. |q (Tom F.)

• 901 __022005000596

• 905 __ |a CAU |f TP302-53/CHA |b W0074812(or.)

• 907 __ |a CAU |f TP302-53/CHA |b W0074812(or.)

• 999 __ |t C |A xy1 |a 20051226 14:29:22 |I xy1 |i 20051231 09:03:27 |G wzhlc |g 20060301 09:23:5