面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
莫石(Michael J.Moser),郑若骅(Teresa YW Cheng)编著;傅宇,刘京编译2004 年出版456 页ISBN:7503648988
本书从介绍仲裁基本知识入手,通过对香港国际仲裁中心的详细介绍,使读者了解如何在香港国际仲裁中心进行仲裁。
邓炳杰,Michael McGaw编著2007 年出版597 页ISBN:9787561137222
本书以美国、加拿大为背景,从生活、工作、交际等方面教读者说纯正的英语口语。