书目信息 机读格式(MARC)
Computer aided verification :
| ISBN： | 3-540-42345-1 |
|---|---|
| 编目源： | FVM FVM OHX ORU C$Q CVU |
| 语种代码： | eng |
| 会议名称： | CAV (Conference) |
| 题名： | Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / G鈋rard Berry, Hubert Comon, Alain Finkel (eds.). |
| 出版发行项： | Berlin : Springer, c2001. |
| 载体形态： | xiii, 520 p. : ill. ; 24 cm. |
| 书目附注： | Includes bibliographical references and index. |