FRANCIS M 相关电子书下载

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

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

C.M.BLACKWOOD1978 年出版75 页ISBN：

M.P.WILLCOCKS1947 年出版288 页ISBN：

EDITH M.PHELPS2222 年出版0 页ISBN：

GARY M.MARANELL2222 年出版0 页ISBN：

PETER M.LENCSIS1998 年出版173 页ISBN：

VALERIE M.HOPE2007 年出版273 页ISBN：

M.C.OLIVER1984 年出版398 页ISBN：

DONNA M.MOSICH1990 年出版522 页ISBN：

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

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