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

SEFM 2005 : Third IEEE International Conference on Software Engineering and Formal Methods 7-9 Sept
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2005.
ISBN：0769524354
出版年：2005
作者：International Conference on Software Engineering and Formal Methods
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2009 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) : Hano
  • 作者：International Conference on Software Engineering and Formal Methods
  • ISBN：9781424452019
  • 出版社：Piscataway NJ : IEEE, c2009.
  • 出版年：2009
...

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Urugu
  • 作者：International Conference on Software Engineering and Formal Methods
  • ISBN：9783642246890
  • 出版社：Heidelberg ; New York : Springer, c2011.
  • 出版年：2011
...

SEFM 2006 : fourth IEEE International Conference on Software Engineering and Formal Methods, 11-15 S
  • 作者：International Conference on Software Engineering and Formal Methods
  • ISBN：9780769526782
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c2006.
  • 出版年：2006
...

2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010) : Pisa
  • 作者：International Conference on Software Engineering and Formal Methods
  • ISBN：9781424482894
  • 出版社：Piscataway NJ : IEEE, c2010.
  • 出版年：2009
...

SEFM 2008 : sixth IEEE International Conference on Software Engineering and Formal Methods, 10-14 Se
  • 作者：International Conference on Software Engineering and Formal Methods
  • ISBN：9781424433179
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c2008.
  • 出版年：2008
...

SEFM 2007 : fifth IEEE International Conference on Software Engineering and Formal Methods, London,
  • 作者：International Conference on Software Engineering and Formal Methods
  • ISBN：9780769528847
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c2007.
  • 出版年：2007