BARI M LOGAN 相关电子书下载

MICHELLE M.LUSARDI2013 年出版851 页ISBN：

M.E.SHARPE1999 年出版0 页ISBN：

MARTH M.PEGLER1991 年出版313 页ISBN：

BRANJA M.DAS2014 年出版726 页ISBN：

JOSEPH M.BARKER2222 年出版655 页ISBN：

STANLEY M.WALAS2012 年出版0 页ISBN：

（美）A·米斯拉希，M·沙利文著；李毓芝等译1987 年出版541 页ISBN：7304001070

（美）理查德·M.列维奇（Richard M.Levich）著2002 年出版700 页ISBN：7111103513

（美）M·谢里夫·巴西奥尼（M. Cherif Bassiouni）著；王秀梅译2003 年出版251 页ISBN：7503642890

本书系统论述了国际刑法的形成与发展脉络，理论体系构成框架，以及现实性问题和研究心得。

（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950

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