机读格式显示(MARC)

• 000 01569nam2 2200385 4500

• 000 1000007774

• 001 0000164077

• 003 CAL

• 005 20050126085357.0

• 008 980327s1991 gw a b 10010 eng

• 010 __ |a 91026277 //r942

• 020 __ |a 3540544771 |c CNY22.50

• 020 __ |a 0387544771

• 037 __ |a 7158924 |c 193.05

• 040 __ |a XAIT |c XAIT

• 050 00 |a TK7874 |b .D553 1990a

• 082 00 |a 621.381/5 |2 20

• 090 __ |a TP391.7-53/E5:2ND(90)

• 093 __ |a TP391.7-53 |2 4

• 099 __ |a CAL 022000323350 |a CAL 022001053695 |a CAL 021999641826 |a CAL 021999646777

• 111 2_ |a DIMACS Workshop on Computer-Aided Verification |n (2nd : |d 1990 : |c Center for Discrete Mathematics and Theoretical Computer Science)

• 245 10 |a Computer-aided verification : |b proceedings / |c 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 ; E.M. Clarke, R.P. Kurshan (eds.).

• 260 __ |a Berlin ; |a New York : |b Springer-Verlag, |c c1991.

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

• 440 _0 |a Lecture notes in computer science ; |v 531

• 504 __ |a Includes bibliographical references.

• 650 _0 |a Computer-aided design |x Congresses.

• 650 _0 |a Digital integrated circuits |x Design and construction |x Data processing |x Congresses.

• 700 10 |a Kurshan, R.P., |d 1943-

• 700 10 |a Clarke, E.M., |d 1945-

• 905 __ |a XATU |d TP391.7-53/E5:2ND(90)

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP391.7-53/E5:2nd(90)

• 991 __022005003728

• 999 __ |t C |A shenxiaoyan |a 20050126 08:52:36 |M shenxiaoyan |m 20050126 08:53:57 |G shenxiaoyan |g 20050126 08:54:2