Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoK

  • Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoK
  • 版本:1
  • 作者 :Carlos Canal, Akram Idani (eds.)
  • 年份 :2015
  • 编号 :9783319152004, 9783319152011
  • 总页数 :405
  • 语言 :English
  • 文件类型 :pdf
  • 大小 :41 Mb (43117559)
  • 秘钥 :CD4E7335FED0FE71DC0BC098FDAECA
  • 简介 :
    暂无 广州为民服装辅料有限公司专注研发生产五金皮标牌、绣花标、烫画、纽扣、拉链、滴塑商标、硅胶商标、织带、帽绳、裤腰绳、服装、箱包、鞋帽辅料等产品。官网:http://www.58pink.com
    展开
点击下载
已有3567次下载