| ISBN： | 3-540-42123-8 (pbk. : alk. paper) |
|---|
| 编目源： | DLC DLC CUS C#P UKM CaOON |
|---|
| 语种代码： | eng |
|---|
| 会议名称： | Ada-Europe International Conference on Reliable Software Technologies |
|---|
| 题名： | Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings / Dirk Craeynest, Alfred Strohmeier (eds.). |
|---|
| 出版发行项： | Berlin : Springer, 2001. |
|---|
| 载体形态： | xv, 404 p. : ill. ; 24 cm. |
|---|
| 丛编说明： | Lecture notes in computer science ; 2043. |
|---|
| 一般附注： | Sponsored by Ada-Europe in cooperation with ACM SIGAda. |
|---|
| 书目附注： | Includes bibliographical references and index. |
|---|