2012 Formal methods in software engineering : rigorous and agile approaches (FormSERA 2012) Zurich

出版社:Piscataway, N.J. : IEEE, c2012.
ISBN:9781467319072
出版年:2012
作者:FormSERA 2012
资源类型:图书
细分类型:西文文献
相关推荐

Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Gr

  • 作者:International Conference on Software Engineering and Formal Methods
  • ISBN:9783642338250
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

2012 User Evaluation for Software Engineering Researchers (USER 2012) : Zurich, Switzerland, 5 June

  • 作者:USER 2012
  • ISBN:9781467318587
  • 出版社:Piscataway, N.J. : IEEE, c2012.
  • 出版年:2012

2012 4th International Workshop on Software Engineering in Health Care (SEHC 2012) : Zurich, Switzer

  • 作者:ICSE Workshop on Software Engineering in Health Care
  • ISBN:9781467318440
  • 出版社:Piscataway, N.J. : IEEE, c2012.
  • 出版年:2012

2012 34th International Conference on Software Engineering (ICSE 2012) : Zurich, Switzerland, 2-9 Ju

  • 作者:International Conference on Software Engineering
  • ISBN:9781467310666
  • 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2012.
  • 出版年:2012

2012 2nd International Workshop on Software Engineering for Embedded Systems (SEES 2012) : Zurich, S

  • 作者:International Workshop on Software Engineering for Embedded Systems
  • ISBN:9781467318525
  • 出版社:Piscataway, N.J. : IEEE, c2012.
  • 出版年:2012

2012 ICSE Workshop on Modeling in Software Engineering (MISE 2012) : Zurich, Switzerland, 2-3 June 2

  • 作者:International Workshop on Modeling in Software Engineering
  • ISBN:9781467317566
  • 出版社:Piscataway, N.J. : IEEE, 2012.
  • 出版年:2012