关注微信公众号查券更方便
【3-4周达】Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach [9780691606057]
按需印刷Computer-Aided Verification of Coordinating Processes[9780691606057]
![【3-4周达】Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach [9780691606057]](/Public/skin2/static/tqkpc/images/grey.gif)