53 元券9783540698494PerspectivesAchievementsChecking￥3880去看看澜瑞图书专营店发布了【3-4周达】25 Years of Model Checking : History, Achievements, Perspectives [9783540698494]
![【3-4周达】25 Years of Model Checking : History, Achievements, Perspectives [9783540698494]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01KZ5eRL28LaMkNnfZT_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
