登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

FM 2014 : Formal methods : 19th International Symposium Singapore May 12-16 2014 : proceedings
出版社：Cham : Springer, 2014.
ISBN：9783319064093
出版年：2014
作者：International Symposium of Formal Methods Europe
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal grammar : 19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : pro
  • 作者：FG 2014
  • ISBN：9783662441206
  • 出版社：Heidelberg : Springer, 2014.
  • 出版年：2014
...

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014 Florence,
  • 作者：FMICS 2014
  • ISBN：9783319107011
  • 出版社：Cham : Springer, 2014.
  • 出版年：2014
...

Web services, formal methods, and behavioral types : 11th International Workshop, WS-FM 2014 Eindhov
  • 作者：WS-FM 2014
  • ISBN：9783319336114
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016
...

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
...

Speech and computer : 19th International Conference SPECOM 2017 Hatfield, UK, September 12-16, 2017,
  • 作者：International Conference on Speech and Computer
  • ISBN：9783319664286
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 :
  • 作者：UTP 2014
  • ISBN：9783319148052
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015