机读格式显示(MARC)

• 000 01392cam 2200361 a 4500

• 000 1000077898

• 001 0000301764

• 005 20060307111354.0

• 008 020312s2002 gw a b 101 0 eng

• 010 __ |a 2002021114

• 020 __ |a 3540434771 (softcover : alk. paper) : |c CNY300.00

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

• 042 __ |a pcc

• 050 00 |a QA76.76.V47 |b I58 2002

• 082 00 |a 005.1/4 |2 21

• 090 __ |a TP31-53/ISP:2

• 093 __ |a TP31-53 |2 4

• 099 __ |a CAL 022002177172

• 111 2_ |a International SPIN Workshop |n (9th : |d 2002 : |c Grenoble, France)

• 245 10 |a Model checking software : |b 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / |c Dragan Bosnacki, Stefan Leue (eds.).

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

• 300 __ |a x, 257 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references and index.

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

• 630 00 |a SPIN (Computer file) |v Congresses.

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

• 700 1_ |a Bosnacki, Dragan, |d 1963-

• 700 1_ |a Leue, Stefan.

• 901 __022005000698

• 905 __ |a CAU |f TP31-53/ISP:2 |b W0074861(or.)

• 907 __ |a CAU |f TP31-53/ISP:2 |b W0074861(or.)

• 999 __ |t C |A xy1 |a 20051229 14:55:37 |I wzhlc |i 20060307 11:13:54 |G wzhlc |g 20060307 11:14:3