Formal Methods and Software Engineering

作者: Davies, Jim; Schulte, Wolfram; Barnett, Mike
出版社: Springer
副标题: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
出版年: 2005-01-12
页数: 500
定价: 723.20元
装帧: Paperback
ISBN: 9783540238416

在哪儿借这本书  · · · · · ·

谁读这本书?

Rachel Wang
Rachel Wang
2009年9月5日 读过


> 1人读过

二手市场

订阅关于Formal Methods and Software Engineering的评论:
feed: rss 2.0