MARC状态：已编 文献类型：西文图书 浏览次数：103
- 题名/责任者:
- Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2002.
- ISBN:
- 3540434194 (softcover : alk. paper) :
- 载体形态项:
- xiii, 482 p. : ill. ; 24 cm.
- 变异题名:
- TACAS 2002
- 变异题名:
- ETAPS 2002
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2280
- 会议名称:
- TACAS 2002 (2002 : Grenoble, France)
- 附加个人名称:
- Katoen, Joost-Pieter.
- 附加个人名称:
- Stevens, Perdita.
- 附加团体名称:
- LINK (Online service)
- 附加会议名称:
- ETAPS 2002: (2002 : Grenoble, France)
- 论题主题:
- System design-Congresses.
- 论题主题:
- Computer software-Development-Congresses.
- 中图法分类号:
- TP311.5-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Also available via the World Wide Web. (Restricted to LINK subscribers)
- 随书光盘:
全部MARC细节信息>>
东5层4区