搜索：面向计算机科学的数理逻辑 系统建模与推理
面向计算机科学的数理逻辑系统建模与推理 英文版·第2版
文件大小：17MB 标注页数：427页 文件页数：445页
MD5：3f97f863fc70caf56482f3d984c69c15
ISBN：7111160533
出版社：北京：机械工业出版社
作者：（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著
出版时间：2005
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
文件大小：14MB 标注页数：277页 文件页数：291页
MD5：36966478e8939109aa9db97c435bfc97
ISBN：7111213971
出版社：北京：机械工业出版社
作者：（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译
出版时间：2007