ISBN: | 3-540-42124-6 |
---|---|
编目源: | DLC DLC |
语种代码: | eng |
会议名称: | International SPIN Workshop |
题名: | Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.). |
出版发行项: | Berlin ; London : Springer, 2001. |
载体形态: | x, 311 p. : ill. ; 24 cm. |
丛编说明: | Lecture notes in computer science ; 2057 |
书目附注: | Includes bibliographical references and index. |