A·M·克莱逊相关电子书下载

JERRY D.Em>Am>STIN F.m>Am>.Hm>Am>SKINS C.Y.SULLIVm>Am>N C.H.M.Vm>Am>NBm>Am>VEL2222 年出版396 页ISBN：

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

（美）埃吉尔·朱丽叶斯逊（Egil Jutiussen），（美）克伦·波得斯卡·朱丽叶斯逊（Km>am>ren Petskm>am> Jutiussen）编著；方裕等译1995 年出版729 页ISBN：7505331221

（美）EDMUND M.CLm>Am>RKE JR.，ORNm>Am> GRUMBERG，DORON m>Am>.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950

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

M.m>Am>.Hm>Am>Ym>Am>T2222 年出版411 页ISBN：0123339251

m>Am>.M.CHm>Am>KRm>Am>Bm>Am>RTY1982 年出版147 页ISBN：0849355249

M.m>Am>.BEDFORD1978 年出版190 页ISBN：0723401756

m>Am>.M.UTTLEY2222 年出版111 页ISBN：0127097503

m>Am>LBERT M.CRm>Am>IG WILLIm>Am>M m>Am>.GRm>Am>Hm>Am>M DONm>Am>LD Km>Am>Gm>Am>N STEVEN OZMENT FRm>Am>NK M.TURNER2000 年出版1088 页ISBN：0130124567

M.m>Am>.K.Hm>Am>LLIDm>Am>Y2222 年出版134 页ISBN：