Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th IPDF电子书下载
- 电子书积分:15 积分如何计算积分?
- 作 者:
- 出 版 社:Springer-Verlag
- 出版年份:2005
- ISBN:3540255591
- 页数:493 页
图书介绍:
《Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I》目录
标签:
相关图书
作者其它书籍