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

Tools for practical software verification : LASER international summer school 2011 Elba Island It
出版社：Berlin ; New York : Springer, c2012.
ISBN：9783642357459
出版年：2012
作者：LASER Summer School on "Software Engineering: Tools for Practical Software Verification"
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy ; revised tutorial
  • 作者：LASER Summer School on "Software Engineering: Software for the Cloud and Big Data"
  • ISBN：9783319284057
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015
...

Empirical software engineering and verification : international summer schools, LASER 2008-2010, Elb
  • 作者：LASER 2008-2010
  • ISBN：9783642252303
  • 出版社：Berlin ; London : Springer, c2012.
  • 出版年：2012
...

Advanced lectures on software engineering : LASER Summer School 2007/2008
  • 作者：Müller,Peter,
  • ISBN：9783642130090
  • 出版社：Berlin : Springer, c2010.
  • 出版年：2010
...

Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007,
  • 作者：Lipari Summer School on Advances in Software Engineering
  • ISBN：9783540897613
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

Generative and transformational techniques in software engineering II : international summer school,
  • 作者：GTTSE 2007
  • ISBN：9783540886426
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

Generative and transformational techniques in software engineering : international summer school, GT
  • 作者：GTTSE 2005
  • ISBN：354045778X
  • 出版社：Berlin ; New York : Springer, 2006.
  • 出版年：2006