CHEMOTHERAPY VOL.5 PENICILLINS AND CEPHALOSPORINS
J.D.WILLIAMS AND A.M.GEDDES2222 年出版420 页ISBN:0306382253
DYNAMICS OF DEMOCRACY BRIEF EDITION
PEVERILL SQUIRE JAMES M.LINDSAY CARY R.COVINGTON ERIC R.A.N.SMITH1997 年出版442 页ISBN:
PHYSIOLOGICAL ASPECTS OF CROP YIELD
JERRY D.EASTIN F.A.HASKINS C.Y.SULLIVAN C.H.M.VANBAVEL2222 年出版396 页ISBN:
(美)EDMUND M.CLARKE JR.,ORNA GRUMBERG,DORON A.PELED著;李刚,宋雨等译2015 年出版223 页ISBN:9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...