面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
Object-Oriented Programming Using C++ (Second Edition)
(美)波尔(Pohl,I.)著2004 年出版543 页ISBN:7505397133
本书旨在介绍使用ANSI C++进行面向对象的编程,解释在此环境中的C++特性。书中提供STL、名称空间、RTTI以及布尔类型等C++最新特性的快速指南,借助大量示例展示优秀的编程风格。重点介绍了C++的数据结构,标准模...
BUILDING CRAFTSMANSHIP IN BRICK AND TILE AND IN STONE SLATES
2014 年出版99 页ISBN:9781107673366