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

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

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

ISBN：3540331026

出版年：2006

作者：International SPIN Workshop

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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

Fast software encryption : 13th international workshop, FSE 2006, Graz, Austria, March 15-17, 2006 :

作者：FSE 2006
ISBN：3540365974
出版社：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

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 : 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 : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-

作者：International SPIN Workshop
ISBN：9783642161636
出版社：Berlin ; New York : Springer, c2010.
出版年：2010