PRIMER 优质文献 相似文献The SPIN Model Checker: Primer and Reference Manual LZMANNGE|THESPINMODELCHE GJ Holzmann - Addison-Wesley Professional 被引量: 5229发表: 2004年 Multivariate Statistical Methods: A Primer The third edition of this bestseller retains the authors trademark clear, concise style ...