Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Saved in:
书目详细资料
企业作者: SpringerLink (Online service)
其他作者: Lau, Kung-Kiu. (Editor, http://id.loc.gov/vocabulary/relators/edt), Banach, Richard. (Editor, http://id.loc.gov/vocabulary/relators/edt)
格式: 电子 电子书
语言:English
出版: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
版:1st ed. 2005.
丛编:Programming and Software Engineering ; 3785
主题:
在线阅读:https://doi.org/10.1007/11576280
标签: 添加标签
没有标签, 成为第一个标记此记录!