- 题名/责任者:
- Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.).
- 出版发行项:
- Berlin : New York : Springer, c2001.
- ISBN:
- 3540423141 (pbk. : alk. paper) :
- 载体形态项:
- xi, 436 p. : ill. ; 24 cm.
- 变异题名:
- SAS 2001
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2126
- 会议名称:
- International Static Analysis Symposium (8th : 2001 : Paris, France)
- 附加个人名称:
- Cousot, Patrick, 1948-
- 论题主题:
- Computer programming-Congresses.
- 论题主题:
- Programming languages (Electronic computers)-Congresses.
- 中图法分类号:
- TP311.1-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Also available via the World Wide Web.
- 随书光盘:
全部MARC细节信息>>