- 题名/责任者:
- Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers / Philippe Palanque, Fabio Paternò (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540416633 (softcover : alk. paper) :
- 载体形态项:
- x, 250 p. : ill. ; 24 cm.
- 变异题名:
- DSV-IS 2000
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 1946
- 会议名称:
- DSV-IS 2000 (2000 : Limerick, Ireland)
- 附加个人名称:
- Palanque, Philippe, 1966-
- 附加个人名称:
- Paternò, Fabio, 1960-
- 论题主题:
- Interactive computer systems-Congresses.
- 中图法分类号:
- TP391.4-53
- 中图法分类号:
- TP11-53
- 书目附注:
- Includes bibliographical references and indexes.
- 载体形态附注:
- Available also through Springer LINK.
- 随书光盘:
全部MARC细节信息>>
东5层4区