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. |