Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer ProgrammingPDF电子书下载
- 电子书积分：12 积分如何计算积分？
- 作 者：
- 出 版 社：Springer-Verlag
- 出版年份：1982
- ISBN：3540112103
- 页数：304 页
图书介绍：
《Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming》目录
标签：
相关图书
作者其它书籍