（苏）A·N·沙彼罗 B·M·卡茨著相关电子书下载

M.m>Am>.EVGRm>Am>FOV1966 年出版337 页ISBN：

（美）恰克拉巴蒂（m>Am>.M.Chm>am>krm>am>m>bm>m>am>rty）主编；姚志建等译1981 年出版239 页ISBN：14048·3929

（美）m>Am>·J·M·斯宾塞1982 年出版142 页ISBN：13196·095

（美）D·休斯·哈雷特，m>Am>·M·克莱逊1997 年出版689 页ISBN：7040063948

Geoffrey Mm>am>rshm>am>ll Kem>nm>m>nm>eth M.m>Am>.Perry；王大同，郭仓译1957 年出版3085 页ISBN：14120·203

（美）EDMUm>Nm>D M.CLm>Am>RKE JR.，ORm>Nm>m>Am> GRUMm>Bm>ERG，DOROm>Nm> m>Am>.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950

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

m>Bm>.m>Am>.Dum>bm>rovim>nm> m>Am>.T.Fomem>nm>ko1999 年出版470 页ISBN：7506201232

（苏）H·m>Am>·巴卡诺夫著1955 年出版128 页ISBN：

LEm>Nm>ORE m>Am>.GREm>Nm>Om>Bm>LE m>Nm>.LOUm>Am>m>Nm>m>Nm>m>Am> FURm>Bm>EE2010 年出版340 页ISBN：

（苏联）m>Am>·T·戈洛万 П·Г·格鲁京斯基 Г·H·彼特罗夫 m>Am>·M·费多谢也夫等编；林文铮等译1959 年出版547 页ISBN：15143·995