01218nam a2200373 4500 DLU030023170 ##20010718144453.0 ##010423s2001 gw a b 101 0 eng 2001032221 3540421246 (pbk. : alk. paper) DLC DLC DLC pcc QA76.76.V47 I58 2001 005.14 INT International SPIN Workshop (8th : 2001 Toronto, Ont.) Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.). Berlin ; New York : Springer, 2001. x, 311 p. : ill. ; 24 cm. Lecture notes in computer science ; 2057 On cover: ACM SIGSOFT. Includes bibliographical references and index. SPIN (Computer file) Congresses. Computer software Verification Congresses. Dwyer, Matthew, 1963- ACM Sigsoft. 70.20 DLU True Phan Ngọc Đông G A SH Thư viện Trường Đại học Đà Lạt