MARC状态:已编 文献类型:西文图书 浏览次数:74
- 题名/责任者:
- Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 ; selected papers / Maura Cerioli, Gianna Reggio (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540431594 (pbk.) :
- 载体形态项:
- x, 343 p. : ill. ; 24 cm.
- 变异题名:
- WADT 2001
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2267
- 会议名称:
- WADT 2001 (2001 : Genoa, Italy)
- 附加个人名称:
- Cerioli, Maura.
- 附加个人名称:
- Reggio, Gianna, 1957-
- 论题主题:
- Computer software-Development-Congresses.
- 论题主题:
- Computer science-Mathematics-Congresses.
- 中图法分类号:
- TP311.52-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Also available via the World Wide Web.
- 随书光盘:
全部MARC细节信息>>