Z的悲剧相关电子书下载

（美）奎因著；林大容译2009 年出版238 页ISBN：9787802255999

血案发生在阿冈昆监狱所在的提尔登郡。一天晚上，树敌无数的福塞特参议员被人刺杀于自己的书房内，当天，一个矮小的男人正好从阿冈昆监狱刑满释放。书房内的一封信将线索指向了这个男人。事情的真相到底如何？受邀...

（美）艾勒里·奎因著；林大容译2017 年出版238 页ISBN：9787513323796

汤国熙编著1988 年出版408 页ISBN：7800340937

王宏生著2009 年出版231 页ISBN：9787118060447

本书系统介绍了Z语言的程序设计技术。

（美）威廉·大内著；黄明坚译民国年出版284 页ISBN：

威廉·大内著；黄明坚译1982 年出版284 页ISBN：

2222 年出版0 页ISBN：

郭肇德等译1987 年出版271 页ISBN：7115034729

（美）大内（Ouchi，W.）著；孙耀君，王祖融译1984 年出版231 页ISBN：4190·175

吴方君著2006 年出版185 页ISBN：7312013546

本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...