FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceed

FM 2012 : formal methods : 18th International Symposium Paris France August 27-31 2012 : proceed

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

ISBN：9783642327582

出版年：2012

作者：International Symposium of Formal Methods Europe

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-2

作者：UTP 2012
ISBN：9783642357046
出版社：Berlin ; New York : Springer, c2013.
出版年：2013

Eighth International Conference on Pattern Recognition, Paris, France, October 27-31, 1986 : proceed

作者：International Conference on Pattern Recognition
ISBN：0818607424
出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society,
出版年：1986

Formal grammar : 17th and 18th International Conferences, FG 2012/2013, Opole, Poland, August 2012 :

作者：FG 2012
ISBN：9783642399978
出版社：Berlin : Springer, c2013.
出版年：2013

ECAI 2012 : 20th European Conference on Artificial Intelligence 27-31 August 2012, Montpellier, Fran

作者：European Conference on Artificial Intelligence
ISBN：9781614990970
出版社：Amsterdam : IOS Press, c2012.
出版年：2012

2012 IEEE 18th International on-Line Testing Symposium (IOLTS 2012) : Sitges, Spain, 27-29 June 2012

作者：IEEE International On-Line Testing Symposium
ISBN：9781467320825
出版社：Piscataway, N.J. : IEEE, c2012.
出版年：2012

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