25 Years of Model Checking: History, Achievements, girro 2014年2月2日 9 阅读 0 评论 历史、传记 25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Hardcover: 231 pages Publisher: Springer (June 17, 2008) Language: English ISBN-10: 3540698493 代发服务PDF电子书10元立即求助