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

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

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

ISBN：3540434771

出版年：2002

作者：International SPIN Workshop

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Model checking software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009 : pro

作者：International SPIN Workshop
ISBN：9783642026515
出版社：Berlin ; New York : Springer, c2009.
出版年：2009

Model checking software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023,

作者：International SPIN Workshop
ISBN：9783031321566
出版社：Cham, Switzerland : Springer, 2023.
出版年：2023

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 : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proc

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

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

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

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

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