Principles of the Spin Model Checker girro 2014年2月1日 23 阅读 0 评论 未分类 Principles of the Spin Model Checker Hardcover: 220 pages Publisher: Springer (January 8, 2008) Language: English ISBN-10: 1846287693 代发服务PDF电子书10元立即求助