登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
2012 Formal methods in software engineering : rigorous and agile approaches (FormSERA 2012) Zurich
出版社:
Piscataway, N.J. : IEEE, c2012.
ISBN:
9781467319072
出版年:
2012
作者:
FormSERA 2012
资源类型:
图书
细分类型:
西文文献
2浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
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
×
访问借阅管理系统