机读格式显示(MARC)

• 000 01728cam 2200409 a 4500

• 000 1000077825

• 001 0000301700

• 005 20060320105104.0

• 008 020307s2002 gw a b 101 0 eng

• 010 __ |a 2002021217

• 020 __ |a 3540434194 (softcover : alk. paper) : |c CNY500.00

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

• 042 __ |a pcc

• 050 00 |a QA76.9.S88 |b T33 2002

• 082 00 |a 004.2/1 |2 21

• 090 __ |a TP311.5-53/TAC

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

• 099 __ |a CAL 022002152230 |a CAL 022002157515

• 111 2_ |a TACAS 2002 |d (2002 : |c Grenoble, France)

• 245 10 |a Tools and algorithms for the construction and analysis of systems : |b 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / |c Joost-Pieter Katoen, Perdita Stevens (eds.).

• 246 30 |a TACAS 2002

• 246 30 |a ETAPS 2002

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

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

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

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Also available via the World Wide Web. (Restricted to LINK subscribers)

• 650 _0 |a System design |v Congresses.

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

• 700 1_ |a Katoen, Joost-Pieter.

• 700 1_ |a Stevens, Perdita.

• 710 2_ |a LINK (Online service)

• 711 2_ |a ETAPS 2002: |d (2002 : |c Grenoble, France)

• 901 __022005000580

• 905 __ |a CAU |f TP311.5-53/TAC |b W0074804(or.)

• 907 __ |a CAU |f TP311.5-53/TAC |b W0074804(or.)

• 999 __ |t E |A wzhlc |a 20060320 10:50:57 |G wzhlc |g 20060301 08:58:05 |I wzhlc |i 20060320 10:51:1