本书除了对语法进行全面、详尽的介绍之外，还对数字系统的仿真验证方法进行了深入讨论。全书共16章，前3章...
2011.9
本书是《西方最新语言学理论译介》丛书的一种，系统介绍了当前国际语言学界关于形式语用学的最新进展，内容...
2011.7
本书主要对信息技术中常用的ASN.1的抽象语法和编码规则进行了描述和研究，旨在让读者对ASN.1有一个既全面又...
2011.6
测试描述语言作为自动测试系统的核心，是体现一个国家自动测试技术发展水平的关键，是各行各业关心的热点。...
2011.5