书目信息 机读格式(MARC)
Theoretical aspects of computer software :
| ISBN： | 3-540-42736-8 (softcover : alk. paper) |
|---|---|
| 编目源： | DLC DLC CGU UKM C#P C$Q CVU |
| 语种代码： | eng |
| 会议名称： | TACS 2001 |
| 题名： | Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.). |
| 出版发行项： | Berlin ; New York : Springer, c2001. |
| 载体形态： | xv, 559 p. : ill. ; 24 cm. |
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2215. |
| 书目附注： | Includes bibliographical references and index. |