（英）Mark Norris 相关电子书下载

MARK GLADWIN2004 年出版282 页ISBN：0940780496

MARK SPITZ2011 年出版130 页ISBN：9786135447897

MARK STEVEENS1983 年出版197 页ISBN：0835956474

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

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

（美）（M.米纳西）Mark Minasi著；李其军等译1997 年出版659 页ISBN：7505336681

（美）Nell Dale，Chip Weems，Mark Headington著2001 年出版752 页ISBN：704010038X

（美）（M.安德鲁斯）Mark Andrews著；綦建平等译1997 年出版652 页ISBN：7505337742

MARK W. ZEMANSKY1943 年出版390 页ISBN：

MARK L.WHEELIS1979 年出版0 页ISBN：

JAMES L.PAPPAS EUGENE F.BRIGHAM MARK HIRSCHEY2222 年出版0 页ISBN：