HUMAN EVOLUTION AND PREHISTORY SIXTH EDITION
WILLIAM A.HAVILAND2003 年出版383 页ISBN：
HISTORY OF CRIMINOLOGY A PHILOSOPHICAL PERSPECTIVE
DAVID A.JONES1986 年出版244 页ISBN：
CONSTITUTIONAL AND ADMINISTRATIVE LAW TENTH EDITION
A.W.BRADLEY1985 年出版758 页ISBN：
EPSTEIN ON INTELLECTUAL PROPERTY FIFTH EDITION
MICHAEL A.EPSTEIN2007 年出版1166 页ISBN：
LEARNING BEHAVIOR AND COGNITION SECOND EDITION
DAVID A.LIEBERMAN1993 年出版592 页ISBN：
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
