|
|
|
|
| LEADER |
01218nam a2200373 4500 |
| 001 |
DLU030023170 |
| 005 |
##20010718144453.0 |
| 008 |
##010423s2001 gw a b 101 0 eng |
| 010 |
# |
# |
|a 2001032221
|
| 020 |
# |
# |
|a 3540421246 (pbk. : alk. paper)
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 042 |
# |
# |
|a pcc
|
| 050 |
# |
# |
|a QA76.76.V47
|b I58 2001
|
| 082 |
# |
# |
|a 005.14
|b INT
|
| 111 |
# |
# |
|a International SPIN Workshop
|n (8th :
|d 2001
|c Toronto, Ont.)
|
| 245 |
# |
# |
|a Model checking software :
|b 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
|c Matthew Dwyer (ed.).
|
| 260 |
# |
# |
|a Berlin ;
|a New York :
|b Springer,
|c 2001.
|
| 300 |
# |
# |
|a x, 311 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
# |
# |
|a Lecture notes in computer science ;
|v 2057
|
| 500 |
# |
# |
|a On cover: ACM SIGSOFT.
|
| 504 |
# |
# |
|a Includes bibliographical references and index.
|
| 630 |
# |
# |
|a SPIN (Computer file)
|v Congresses.
|
| 650 |
# |
# |
|a Computer software
|x Verification
|v Congresses.
|
| 700 |
# |
# |
|a Dwyer, Matthew,
|d 1963-
|
| 710 |
# |
# |
|a ACM Sigsoft.
|
| 992 |
# |
# |
|a 70.20
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Phan Ngọc Đông
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
