58 元券International9783032068460SymposiumChecking￥5140去看看澜瑞图书专营店发布了【3-4周达】Model Checking Software : 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, M... [9783032068460]
![【3-4周达】Model Checking Software : 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, M... [9783032068460]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN0119zVu228LaNCZoy5Q_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
