（意）瓦伦蒂尼（Giuseppe Valentini）著）（）埃德温·克歇相关电子书下载

（意）但丁（Dante Alighieri）著；钱鸿嘉译1993 年出版117 页ISBN：7532713172

从2012年开始，比尔·波特开始了全新的旅程——寻访36位他所钦佩的中国古代诗人故址。一路上，69岁的比尔沿着黄河、长江，寻访36位古代诗人的足迹。为此，他......

（意）维尔加（Giovanni Verga）著；孙葆华译1958 年出版407 页ISBN：10078·1641

（意）罗大里（Rodari，G.）著；祝本雄译1985 年出版136 页ISBN：7003·121

（意）白佐良，马西尼著；萧晓玲，白玉昆译2002 年出版329 页ISBN：7100035457

（意）柴伐梯尼，C.著；伍菡卿译1963 年出版108 页ISBN：10061·257

（英）意·奈士比特著；海星译2001 年出版240 页ISBN：753851807X

名家名作。

（意）加罗佐（B. Garozzo）著；周家骝译1982 年出版211 页ISBN：7051·60098

（意）乔万尼·薄迦丘原著；郭晴等编写1998 年出版290 页ISBN：7537616345

（意）德里奥利，（意）吉奥诺编著2012 年出版370 页ISBN：7030343321

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...