MARC状态:已编 文献类型:西文图书 浏览次数:69
- 题名/责任者:
- Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540418644 (pbk. : alk. paper) :
- 载体形态项:
- xii, 412 p. : ill. ; 24 cm.
- 变异题名:
- FOSSACS 2001
- 变异题名:
- ETAPS 2001
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2030
- 会议名称:
- FOSSACS 2001 (2001 : Genova, Italy)
- 附加个人名称:
- Honsell, Furio.
- 附加个人名称:
- Miculan, Marino.
- 附加会议名称:
- ETAPS 2001 (2001 : Genova, Italy)
- 论题主题:
- Computer software-Congresses.
- 论题主题:
- System analysis-Congresses.
- 中图法分类号:
- TP31-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Available also through SpringerLink via the World Wide Web. Adobe Acrobat Reader required.
- 随书光盘:
全部MARC细节信息>>