Empirical software engineering and verification : international summer schools LASER 2008-2010 Elb

出版社:Berlin ; London : Springer, c2012.
ISBN:9783642252303
出版年:2012
作者:LASER 2008-2010
资源类型:图书
细分类型:西文文献
相关推荐

Software engineering : international summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutor

  • 作者:De Lucia,Andrea.
  • ISBN:9783540958871
  • 出版社:Berlin ; New York : Springer, c2009.
  • 出版年:2009

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

Advanced lectures on software engineering : LASER Summer School 2007/2008

  • 作者:Müller,Peter,
  • ISBN:9783642130090
  • 出版社:Berlin : Springer, c2010.
  • 出版年:2010

Tools for practical software verification : LASER, international summer school 2011, Elba Island, It

  • 作者:LASER Summer School on "Software Engineering: Tools for Practical Software Verification"
  • ISBN:9783642357459
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

Software engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy : revised tutor

  • 作者:De Lucia,Andrea.
  • ISBN:9783642360534
  • 出版社:Berlin ; New York : Springer, c2013.
  • 出版年:2013

厉以宁论文选 :2008-2010

  • 作者:厉以宁
  • ISBN:9787500085164
  • 出版社:中国大百科全书出版社
  • 出版年:2011