机读格式显示(MARC)

• 000 01390cam 2200361 a 4500

• 000 1000077848

• 001 0000301717

• 005 20060110104831.0

• 008 010712s2001 gw a b 101 0 eng d

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

• 040 __ |a FVM |c FVM |d CUV |d SCT

• 050 _4 |a QA76.76.V47 |b C38 2001

• 090 __ |a TP335-53/CAV

• 093 __ |a TP335-53 |2 4

• 093 __ |a TP31-53 |2 4

• 099 __ |a CAL 022001418216

• 111 2_ |a CAV (Conference) |n (13th : |d 2001 : |c Paris, France)

• 245 10 |a Computer aided verification : |b 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / |c Gérard Berry, Hubert Comon, Alain Finkel (eds.).

• 246 30 |a CAV 2001

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

• 300 __ |a xiii, 520 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references and index.

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

• 650 _0 |a Computer software |x Verification |v Congresses.

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

• 700 1_ |a Finkel, A.

• 700 1_ |a Comon, Hubert.

• 700 1_ |a Berry, Gérard, |d 1948-

• 901 __022005000609

• 905 __ |a CAU |f TP335-53/CAV |b W0074818(or.)

• 907 __ |a CAU |f TP335-53/CAV |b W0074818(or.)

• 999 __ |t C |A xy1 |a 20051226 15:58:49 |I xy1 |i 20060110 10:48:31 |G wzhlc |g 20060307 10:17:0