书目信息 机读格式(MARC)
Model checking software :
| ISBN： | 3540434771 (softcover : alk. paper) |
|---|---|
| 编目源： | DLC DLC OHX UKM C#P C$Q CVU |
| 语种代码： | eng |
| 会议名称： | International SPIN Workshop |
| 题名： | Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan BoSnaCki, Stefan Leue (eds.). |
| 出版发行项： | Berlin ; New York : Springer, c2002. |
| 载体形态： | x, 257 p. : ill. ; 24 cm. |
| 书目附注： | Includes bibliographical references and index. |