Automated database applications testing : specification representation for automated reasoning 相关电子书下载

J E ROWLEY1980 年出版195 页ISBN：

MICHAEL L.KASAVANA1984 年出版259 页ISBN：

WILLARD C.BRINTON2222 年出版0 页ISBN：

RONALD T.HYMAN2222 年出版0 页ISBN：

C E Eckersley1963 年出版0 页ISBN：

NATHAN H. COOK1984 年出版0 页ISBN：

CONRAD PHILLIP KOTTAK2007 年出版0 页ISBN：

Oxford University Press2008 年出版244 页ISBN：

Zhizhong Sun2222 年出版415 页ISBN：9787030245465

本书系统地介绍了BCI-代数的基础理论，阐述了自BCI-代数问世以来国内外尤其是国内学者的主要研究成果。全书共分六章，其内容分别是BCI-代数的一般理论，交换BCK-代数，正关联和关联BCK-代数，具有条件（S）的BCI-代数，正...

RONALD J.TOCCI NEAL S.WIDMER GREGORY L.MOSS2011 年出版956 页ISBN：7030325125

本书是三位作者多年教授“数字原理与应用”课程的教学经验的总结，已经出版到第11版。事实证明这是一本广受教师和学生欢迎的教材。本书对现代数字系统的原理和技术进行了全面的论述，既讲述了数字系统的基本原...