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

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

出版社：Berlin ; New York : Springer, c2004.

ISBN：3540213147

出版年：2004

作者：International SPIN Workshop

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 : procee

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

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006

作者：International SPIN Workshop
ISBN：3540331026
出版社：Berlin ; New York : Springer, c2006.
出版年：2006

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 : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proc

作者：Ball,Thomas
ISBN：3540401172
出版社：Berlin : Springer, c2003.
出版年：2003

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