关注微信公众号查券更方便
【预订】Interactive Systems: Design, Specification, and Verification 9783540428077
【4周达】Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DS... [9783540428077]