MARC状态：已编 文献类型：西文图书 浏览次数：33
- 题名/责任者:
- FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540417915 (softcover : alk. paper) :
- 载体形态项:
- xiii, 628 p. : ill. ; 24 cm.
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2021
- 会议名称:
- International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany)
- 附加个人名称:
- Oliveira, José N.
- 附加个人名称:
- Zave, Pamela, 1948-
- 论题主题:
- Computer software-Development-Congresses.
- 中图法分类号:
- TP311.52-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Available also through SpringerLINK via the World Wide Wed. Adobe Acrobat Reader required.
- 随书光盘:
全部MARC细节信息>>
东5层4区