关注微信公众号查券更方便
预订Formal Verification of Control System Software[9780691181301]
【3-4周达】控制系统软件的形式验证 Formal Verification of Control System Software [9780691181301]