MARC状态：已编 文献类型：西文图书 浏览次数：47
- 题名/责任者:
- Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540421246 (pbk. : alk. paper) :
- 载体形态项:
- x, 311 p. : ill. ; 24 cm.
- 变异题名:
- SPIN 2001
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2057
- 会议名称:
- International SPIN Workshop (8th : 2001 : Toronto, Ont.)
- 附加个人名称:
- Dwyer, Matthew, 1963-
- 附加团体名称:
- LINK (Online service)
- 附加团体名称:
- ACM Sigsoft.
- 统一题名主题:
- SPIN (Computer file)-Congresses.
- 论题主题:
- Computer software-Verification-Congresses.
- 中图法分类号:
- TP31-53
- 一般附注:
- On cover: ACM SIGSOFT.
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Available also through SpringerLink via the World Wide Web. Adobe Acrobat Reader required.
- 随书光盘:
全部MARC细节信息>>
东5层4区