Modelling Large Systems 相关电子书下载

JAN M.MACIEJOWSKI1978 年出版242 页ISBN：3540090045

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

1989 年出版313 页ISBN：

1981 年出版225 页ISBN：0443021260

Peter Harris2001 年出版64 页ISBN：

1981 年出版404 页ISBN：

2004 年出版512 页ISBN：0521591635

Circuits2222 年出版346 页ISBN：

PU WANG2014 年出版99 页ISBN：9789400776296

JANE CULLUM1986 年出版330 页ISBN：0444700749