机读格式显示(MARC)

• 000 01509cam 2200397 a 4500

• 000 1000077798

• 001 0000301675

• 005 20051231084847.0

• 008 010423s2001 gw a b 101 0 eng

• 010 __ |a 2001032221

• 020 __ |a 3540421246 (pbk. : alk. paper) : |c CNY300.00

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

• 042 __ |a pcc

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

• 082 00 |a 005.1/4 |2 21

• 090 __ |a TP31-53/ISP

• 093 __ |a TP31-53 |2 4

• 099 __ |a CAL 022001398446

• 111 2_ |a International SPIN Workshop |n (8th : |d 2001 : |c Toronto, Ont.)

• 245 10 |a Model checking software : |b 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / |c Matthew Dwyer (ed.).

• 246 3_ |a SPIN 2001

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

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

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

• 500 __ |a On cover: ACM SIGSOFT.

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through SpringerLink via the World Wide Web. Adobe Acrobat Reader required.

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

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

• 700 1_ |a Dwyer, Matthew, |d 1963-

• 710 2_ |a LINK (Online service)

• 710 2_ |a ACM Sigsoft.

• 901 __022005000546

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

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

• 999 __ |t C |A xy1 |a 20051223 14:43:01 |I xy1 |i 20051231 08:48:47 |G wzhlc |g 20060301 15:18:5