FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 2

FM 2011 : formal methods : 17th International Symposium on Formal Methods Limerick Ireland June 2

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

ISBN：9783642214363

出版年：2011

作者：International Symposium of Formal Methods Europe

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August

作者：International Symposium of Formal Methods Europe
ISBN：3540372156
出版社：Berlin ; New York : Springer, c2006.
出版年：2006

Integrated formal methods : 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10,

作者：International Conference on Integrated Formal Methods
ISBN：9783031077265
出版社：Cham : Springer, 2022.
出版年：2022

Formal methods and software engineering : 17th International Conference on Formal Engineering Method

作者：International Conference on Formal Engineering Methods
ISBN：9783319254227
出版社：Cham : Springer, 2015.
出版年：2015

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30

作者：International Symposium of Formal Methods Europe
ISBN：9783540682356
出版社：Berlin ; New York : Springer, c2008.
出版年：2008

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings

作者：International Symposium of Formal Methods Europe
ISBN：9783319192482
出版社：Cham : Springer, 2015.
出版年：2015

FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings

作者：International Symposium of Formal Methods Europe
ISBN：9783319064093
出版社：Cham : Springer, 2014.
出版年：2014