ISBN: | 3-540-42541-1 (pbk. : alk. paper) |
---|---|
编目源: | DLC DLC C$Q OHX C#P CVU |
语种代码: | eng |
会议名称: | CHARME 2001 |
题名: | Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.) |
出版发行项: | Berlin ; New York : Springer, c2001. |
载体形态: | xii, 482 p. : ill. ; 24 cm. |
丛编说明: | Lecture notes in computer science, 0302-9743 ; 2144. |
书目附注: | Includes bibliographical references and index. |