Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays DedicaPDF电子书下载
- 电子书积分：14 积分如何计算积分？
- 作 者：
- 出 版 社：Springer-Verlag
- 出版年份：2005
- ISBN：3540249362
- 页数：413 页
图书介绍：
《Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica》目录
标签：
相关图书
作者其它书籍