ISBN: | 3540428070 (softcover : alk. paper) |
---|---|
编目源: | DLC DLC OHX C$Q UKM C#P CVU |
语种代码: | eng |
会议名称: | DSV-IS 2001 |
题名: | Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers / Chris Johnson (ed.). |
出版发行项: | Berlin ; New York : Springer, c2001. |
载体形态: | xii, 217 p. : ill. ; 24 cm. |
丛编说明: | Lecture notes in computer science, 0302-9743 ; 2220. |
书目附注: | Includes bibliographical references and index. |