机读格式显示(MARC)

• 000 01512cam 2200349 a 4500

• 000 1000077881

• 001 0000301747

• 005 20060306142033.0

• 008 020103s2001 gw a b 101 0 eng d

• 020 __ |a 3540430024 (pbk.) : |c CNY300.00

• 040 __ |a OHX |c OHX |d C$Q |d ZCU |d SCT

• 050 _4 |a QA76.758 |b .C684 2001

• 090 __ |a TP311-53/CFS

• 093 __ |a TP311-53 |2 4

• 099 __ |a CAL 022002085981

• 111 2_ |a Conference on Foundations of Software Technology and Theoretical Computer Science |n (21st : |d 2001 : |c Bangalore, India)

• 245 10 |a FST TCS 2001 : |b Foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings / |c Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.).

• 246 30 |a Foundations of software technology and theoretical computer science

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

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

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

• 504 __ |a Includes bibliographical references and index.

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

• 650 _0 |a Software engineering |v Congresses.

• 650 _0 |a Computer science |v Congresses.

• 700 1_ |a Vinay, V.

• 700 1_ |a Hariharan, Ramesh.

• 700 1_ |a Mukund, Madhavan.

• 901 __022005000666

• 905 __ |a CAU |f TP311-53/CFS |b W0074844(or.)

• 907 __ |a CAU |f TP311-53/CFS |b W0074844(or.)

• 999 __ |t C |A xy1 |a 20051228 16:15:03 |I wzhlc |i 20060306 14:20:33 |G wzhlc |g 20060306 16:33:5