机读格式显示(MARC)

• 000 01383cam 2200361 a 4500

• 000 1000077814

• 001 0000301689

• 005 20051231090205.0

• 008 010620s2001 gw a b 101 0 eng

• 010 __ |a 2001042862

• 020 __ |a 3540423141 (pbk. : alk. paper) : |c CNY400.00

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

• 042 __ |a pcc

• 050 00 |a QA76.6 |b .I5733 2001

• 082 00 |a 005.1 |2 21

• 090 __ |a TP311.1-53/ISA

• 093 __ |a TP311.1-53 |2 4

• 099 __ |a CAL 022001416397

• 111 2_ |a International Static Analysis Symposium |n (8th : |d 2001 : |c Paris, France)

• 245 10 |a Static analysis : |b 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / |c Patrick Cousot (ed.).

• 246 30 |a SAS 2001

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

• 300 __ |a xi, 436 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references and index.

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

• 650 _0 |a Computer programming |v Congresses.

• 650 _0 |a Programming languages (Electronic computers) |v Congresses.

• 700 1_ |a Cousot, Patrick, |d 1948-

• 901 __022005000569

• 905 __ |a CAU |f TP311.1-53/ISA |b W0074797(or.)

• 907 __ |a CAU |f TP311.1-53/ISA |b W0074797(or.)

• 999 __ |t C |A xy1 |a 20051226 09:14:44 |I xy1 |i 20051231 09:02:05 |G wzhlc |g 20060301 10:07:3