返回首页 联系帮助
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
下载此书RAR压缩包在线购买PDF电子书
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
Coffee;V.5 : related beverages
R.J.Clarke1987 年出版214 页ISBN：1851661034
UNIX系统V使用大全 4.0
张玉亭，韩兰，木林等编译1991 年出版484 页ISBN：7502721371
TWIN RESEARCH 3 PART B INTELLIGENCE
PERSONALITY2222 年出版0 页ISBN：
UNIX系统V第4版-迁移指南
2222 年出版218 页ISBN：
COMPREHENSIVE ANALYTICAL CHEMISTRY VOLUME V
1975 年出版383 页ISBN：
Introduction to UNIX System V
1985 年出版210 页ISBN：0912677295
Chemical sensor technolgy V.1 1988
2222 年出版250 页ISBN：0444989013
UNIX SYSTEM V NETWORK PROGRAMMING
1993 年出版784 页ISBN：0201563185
君はこの国を好きか V
鷺沢萠1997 年出版236 页ISBN：
