ISBN: | 3-540-41663-3 |
---|---|
编目源: | DLC DLC |
语种代码: | eng |
会议名称: | DSV-IS 2000 |
题名: | Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers / Philippe Palanque, Fabio Patern醥 (eds.). |
出版发行项: | Berlin ; London : Springer, 2001. |
载体形态: | x, 250 p. : ill. ; 24 cm. |
丛编说明: | Lecture notes in computer science, 0302-9743 ; 1946 |
书目附注: | Includes bibliographical references and index. |