Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proc

Model checking software : 10th International SPIN Workshop Portland OR USA May 9-10 2003 : proc

出版社：Berlin : Springer, c2003.

ISBN：3540401172

出版年：2003

作者：Ball,Thomas

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008

作者：International SPIN Workshop
ISBN：9783540851134
出版社：Berlin ; New York : Springer, 2008.
出版年：2008

Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proc

作者：International SPIN Workshop
ISBN：9783031150760
出版社：Cham : Springer, 2022.
出版年：2022

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA,

作者：International SPIN Workshop
ISBN：3540410309
出版社：Berlin ; New York : Springer, 2000.
出版年：2000

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceeding

作者：International SPIN Workshop
ISBN：3540434771
出版社：Berlin ; New York : Springer, c2002.
出版年：2002

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proc

作者：International SPIN Workshop
ISBN：3540213147
出版社：Berlin ; New York : Springer, c2004.
出版年：2004

ICSE 2003 : 25th International Conference on Software Engineering : 3-10, May, 2003, Portland, Orego

作者：International Conference on Software Engineering
ISBN：076951877X
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2003.
出版年：2003