当前位置:首页 > 其他书籍
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference

Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International ConferencePDF电子书下载

其他书籍

  • 电子书积分:19 积分如何计算积分?
  • 作 者:IFM 2007
  • 出 版 社:Springer-Verlag
  • 出版年份:2007
  • ISBN:9783540732099
  • 页数:660 页
图书介绍:
《Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference》目录
标签:
返回顶部